- Practical Foundations of Mathematics http://www.paultaylor.eu/~pt/prafm/ 3 comments math
- Proofs and Types http://www.paultaylor.eu/~pt/stable/prot.pdf 3 comments programming
- Jean-Yves Girard: Proofs and Types | PDF http://www.paultaylor.eu/stable/prot.pdf 8 comments programming
Lambda the Ultimate
- A Lambda Calculus for Real Analysis http://paultaylor.eu/ASD/lamcra/ 9 comments Category Theory , Functional , Lambda Calculus , Logic/Declarative , Meta-Programming , Semantics , Type Theory