Moscow / Washington D.C. / Milano / Amsterdam / Odessa / Boston / Cambridge / /
Company
Elsevier Co. / Chs / /
Country
United Kingdom / Germany / Italy / United States / Ukraine / /
Currency
pence / / /
Event
Bankruptcy / Person Communication and Meetings / /
Facility
University of Turin / building X / Curry College / Harvard University / Princeton University / Swansea University / /
IndustryTerm
important logical systems / explicit abstraction algorithm / multi-variable applications / elaborate foundational systems / autonomous systems / computing / successive single applications / abstraction algorithm / polymorphic type systems / direct inductive algorithms / printing / simpler algorithms / formal systems / negative solution / /
Organization
Princeton University / Curry College / British Council / Swansea University / Harvard University / Alonzo Church / University of Turin / Mathematics Department / /
Person
Steven Givant / Max Newman / Barkley Rosser / Pierre-Louis Curien / Jonathan Seldin / Haskell Curry / William Tait / Reinhard Kahle / Eugenio Moggi / Moses Ilyich Sch¨onfinkel / Ivor Grattan-Guinness / John von Neumann / William Lawvere / Dov M. Gabbay / Giuseppe Longo / Samuel Shatunovsky / Stephen Kleene / Bruce Lercher / John Reynolds / Anne Troelstra / J. Roger Hindley / Peter Andrews / Giuseppe Peano / Felice Cardone / Dirk van Dalen / Willard V. Quine / Paul Bernays / Heinrich Behmann / Alan Turing / Peter Hancock / John Addison / Martin Bunder / John Shepherdson / Alexander Kuzichev / John Woods / Bertrand Russell / David Hilbert / Philip Wadler / Church / Christian Thiel / Paul Rosenbloom / /
Position
mathematician / author / /
Product
CL / Bx / /
ProgrammingLanguage
Mathematica / D / /
ProvinceOrState
Swansea / /
Technology
direct inductive algorithms / trivial.10 This algorithm / Curry-Rosenbloom algorithm / abstraction algorithm / X. An abstraction algorithm / simpler algorithms / /