User loginNavigation |
archivesPropositions 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. By Manuel J. Simoni at 2014-03-07 16:38 | Fun | History | Theory | 34 comments | other blogs | 23488 reads
|
Browse archivesActive forum topics |
Recent comments
6 days 20 hours ago
1 week 34 min ago
1 week 40 min ago
23 weeks 1 day ago
27 weeks 3 days ago
29 weeks 8 hours ago
29 weeks 8 hours ago
31 weeks 5 days ago
36 weeks 2 days ago
36 weeks 2 days ago