Proofs are Programs: 19th Century Logic and 21st Century Computing Philip Wadler Avaya Labs June 2000, updated November 2000 As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were d - Ideal type - Document - PDFSEARCH.IO

First Page	Meta Content
	Proofs are Programs: 19th Century Logic and 21st Century Computing Philip Wadler Avaya Labs June 2000, updated November 2000 As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were d Add to Reading List Document Date: 2014-02-27 11:22:42 Open Document File Size: 202,75 KB Share Result on Facebook Company Avaya / / Country United Kingdom / Belgium / / IndustryTerm Early systems / Type systems / / Organization Alonzo Church / / Person Haskell Curry / John von Neumann / Philip Wadler / Timothy Griffin / Reynolds / Church / Milner / Gerhard Gentzen / / Position computer scientist / Constable / mathematician / / ProgrammingLanguage Pascal / Lisp / / Technology functional programming / / SocialTag Lambda calculus Proof theory Logic in computer science Type theory Dependently typed programming Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic

Proofs are Programs: 19th Century Logic and 21st Century Computing Philip Wadler Avaya Labs June 2000, updated November 2000 As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were dAdd to Reading List