Practical Foundations of Mathematics
- By Paul Taylor (CUP, 2000). Table of contents, bibliography, text without diagrams.
- http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html

Proofs and Types
- By Jean-Yves Girard, Yves Lafont and Paul Taylor (CUP,1989). Full text online (DVI,PDF,PS).
- http://www.dcs.qmul.ac.uk/%7Ept/stable/Proofs+Types.html