- S. Kleene. Origins of recursive function theory. Annals of the History of Computing, 3(1):52–67, 1981.
- Philip Wadler, "Propositions as Types" [PDF]
- Philip Wadler's historical papers and talks bibliography
Last active
August 29, 2015 14:27
-
-
Save mrb/407359f53f5cef3669f8 to your computer and use it in GitHub Desktop.
mrb's "Propositions as Types" Papers We Love talk bibliogrpahy
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment