| Title | Proofs and Types |
|---|---|
| Author | Jean-Yves Girard, Yves Lafont, Paul Taylor |
| Year | 1989 |
| Edition | |
| Volume | |
| Series | Cambridge Tracts in Theoretical Computer Science, Volume 7 |
| Publisher | Cambridge University Press |
| City | Cambridge [England]; New York |
| Language | English |
Size: 1.37MB | Pages: 187 |
LLC: N/A | DDC:
