Cambridge University Press / Sequent Calculus / Russell / CONCUR / Honda / Harvard University Press / /
Country
Netherlands / Italy / Greece / / /
Facility
Philip Wadler University of Edinburgh wadler@inf.ed.ac.uk / Lee Pike / Fine Hall / /
Holiday
Independence Day / /
IndustryTerm
definable solution / earlier systems / distributed computing / mathematical systems / call/cc operator / communication protocols / computing / type systems / quantum computing / /
OperatingSystem
Sequent / /
Organization
London Mathematical Society / Cambridge University / Harvard University / Institute for Advanced Study / Congress / Institute for Advanced Studies / A. Church / National Academy of Science / Alonzo Church / American Mathematical Society / University of Edinburgh / /
Person
Gabor Greif / Stewart / Max Newman / Tim Griffin / John Mitchell / Gordon Plotkin / Gerhard Gentzen / Moshe Vardi / Simon PeytonJones / Arthur Prior / Luiz / Martin Erwig / John Hughes / Benjamin Pierce / Curry / Chet Murthy / Eugenio Moggi / Roger Hindley / Sylvain Henry / Robin Milner / Alan Turing / Neumann / Craig McLaughlin / Daniel Marsden / Jeremy Yallop / Clarence Lewis / Jean-Yves Girard / Mikhail Glushenkov / Johannes Emerich / Benjamin Denckla / Stephen Kleene / Amir Pnueli / Lewis Carroll / Philip Wadler / Dann Toliver / Church / John Reynolds / Vladimir Voevodsky / Rosser / M. E. Szabo / /
Position
advisor / editor / computer scientist / R. L. Constable / R. Harper / and F. Pfenning / supervisor / King / dentist / Constable / Coq proof assistant / candidate for effective calculability / /
ProgrammingLanguage
Lambda calculus / Mathematica / Java / C / Haskell / Quantum programming / L / ML / Scala / /
PublishedMedium
Mathematische Zeitschrift / Bulletin of the American Mathematical Society / American Journal of Mathematics / Transactions of the American Mathematical Society / Annals of Mathematics / The Mathematical Intelligencer / Theoretical Computer Science / Communications of the ACM / Lecture Notes in Computer Science / /
Propositions as Types ∗ Philip Wadler University of Edinburgh [removed] 1.