User loginNavigation |
Propositions as TypesPropositions as Types, Philip Wadler. Draft, March 2014.
Philip Wadler has written a very enjoyable (Like busses: you wait two thousand years for a definition of “effectively calculableâ€, and then three come along at once) paper about propositions as types that is accessible to PLTlettantes. |
Browse archives
Active forum topics
|
Recent comments
15 weeks 1 day ago
19 weeks 3 days ago
21 weeks 11 hours ago
21 weeks 11 hours ago
23 weeks 5 days ago
28 weeks 2 days ago
28 weeks 2 days ago
28 weeks 5 days ago
28 weeks 5 days ago
31 weeks 4 days ago