| Title | Proofs and Types |
|---|---|
| Author | Jean-Yves Girard, Yves Lafont, Paul Taylor |
| Year | 2003 |
| Edition | |
| Volume | |
| Series | Cambridge Tracts in Theoretical Computer Science, Volume 7 |
| Publisher | Cambridge University Press |
| City | |
| Language | English |
Size: 843.21KB | Pages: 183 |
LLC: N/A | DDC:
