Welcome to Proofs are Programs, an exploration of the people and concepts behind the discovery of the Curry-Howard correspondence between logical proofs and programming languages. This story took almost 100 years in the making and ultimately led logicians and...
more
All 6 Views All Proofs are Programs topics a table of 109 topics
-
Today
-
Last week
-
2 new users!
-
-
6 weeks ago
-
about 4 new topics added
including Java
-
[?] User Groups
Administrators
Experts
There are no users in this group.
Types used from the Commons
Schema types define the data structure of similar topics. When you add existing Freebase topics to this base, their types will be shown here.
Types created for this Base
Discuss this Base
Recent Discussions about Proofs are Programs
There are no conversations on this topic. Would you like to start one?
There are no discussions for this base. Would you like to start one?Edit Weblinks
- Proofs are Programs: 19th Century Logic and 21st Century Computing - Philip Wadler, 2000 split
- Faith, Evolution, and Programming Languages - lecture by Philip Wadler (video) split
- The Curry-Howard Correspondence in Haskell split
- And Logic Begat Computer Science - lecture by Moshe Vardi (video) split
- Haskell/The Curry-Howard isomorphism split
Help
There are no help topics for this base yet.
