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 archivesActive forum topics |
Recent comments
1 hour 37 min ago
5 hours 48 min ago
18 hours 22 min ago
18 hours 24 min ago
18 hours 52 min ago
1 day 2 hours ago
1 day 2 hours ago
1 day 2 hours ago
1 day 13 hours ago
1 day 14 hours ago