![book Proofs and Types](/covers/files_170/1121000/cf58dfb0c7cf4ea2d90941711701605c-d.jpg)
Proofs and Types
djvu
- Author: Jean-Yves Girard Yves Lafont Paul Taylor
- Language: English
- Year: 1989
![book Proofs and Types](/covers/files_170/927000/66a493599378f0eddb330a4a8021963f-d.jpg)
Proofs and Types
pdf
- Author: Jean-Yves Girard Yves Lafont Paul Taylor
- Language: English
- Year: 2003
![book Proofs and Types](/covers/files_170/624000/22329F1E6333CC8A0460CA130A349ED7-d.jpg)
Proofs and Types
pdf
- Author: Jean-Yves Girard Yves Lafont Paul Taylor
- Language: English
- Year: 1989
![book Proofs and Types](/covers/files_170/24000/c19f603472be8fc104f657a8c384e48e-d.jpg)
Proofs and Types
djvu
- Author: Jean-Yves Girard Yves Lafont Paul Taylor
- Language: English
- Year: 1989