discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Practical Foundations of Mathematics
http://www.paultaylor.eu/~pt/prafm/
3 comments
8/1/2019
math
Proofs and Types
http://www.paultaylor.eu/~pt/stable/prot.pdf
3 comments
21/5/2016
programming
Jean-Yves Girard: Proofs and Types | PDF
http://www.paultaylor.eu/stable/prot.pdf
8 comments
11/8/2009
programming