Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Full Title: | Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) |
---|---|
ISBN: | 0521371813 |
ISBN13: | 9780521371810 |
List Price: | USD $49.95 |
Authors: |
Girard, Jean-Yves Lafont, Yves Taylor, Paul |