Proofs and types. Reprint with minor corrections. - Cambridge University Press, 1989. - ( Cambridge Tracts in Theoretical Computer Science ; 7).

1. Cote: 11662. En rayon: classement par auteur.