Proofs and Types. Cambridge Tracts in Theoretical Computer Science 7, Cambridge University Press. Available at http://www.paultaylor.eu/stable/ Proofs+Types.html (1989)

by Jean-Yves Girard, Yves Lafont, Paul Taylor