gesang finished reading Proofs and Types by Jean-Yves Girard (Cambridge Tracts in Theoretical Computer Science)
Proofs and Types by Jean-Yves Girard, Yves Lafont, Paul Taylor (Cambridge Tracts in Theoretical Computer Science)
This text is an outgrowth of notes prepared by J. Y. Girard for a course at the University of Paris …