IOU Library

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

An electronic copy of book is available for Library Members

Further Details Info

Title	Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Call No
Authors	Iman Hafiz Poernomo , John Newsome Crossley , Martin Wirsing
Subjects	ISBN-13:; 9780387237596

An electronic copy of book is available for Library Members Sign in to view the book

Springer

no reviews

Sub Title:
Edition:
Volume:
Publisher:
Publishing Year: 2006
ISBN:
Pages:

245: $a: Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
245: $b:
082: $a:
100: $a: Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
650: $a: ISBN-13:; 9780387237596
250: $a:
440: $v:
250: $b:
250: $c: 2006
020: $a:
300: $a:

Welcome to IOU Digital Library

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

Further Details Info

Fresh Arrivals