Adapting Proofs-As-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo, John Newsome Crossley, and Martin Wirsing

0 ratings • 0 reviews • 0 shelved
Book cover for Adapting Proofs-As-Programs: The Curry--Howard Protocol
Shelve It

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

  • ISBN10 1280851856
  • ISBN13 9781280851858
  • Publish Date 1 January 2005
  • Publish Status Active
  • Out of Print 25 March 2015
  • Publish Country US
  • Imprint Springer New York
  • Format eBook
  • Pages 420
  • Language English