Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

by Jean-Yves Girard, etc., Yves LaFont, and Paul Taylor

0 ratings • 0 reviews • 0 shelved
Book cover for Proofs and Types
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN13 9780521371810
  • Publish Date 23 March 1989
  • Publish Status Inactive
  • Out of Print 8 September 1998
  • Publish Country GB
  • Imprint Cambridge University Press
  • Format Hardcover
  • Pages 192
  • Language English