Adapting proof-as-programs : the Curry-Howard protocol /

Saved in:
Bibliographic Details
Main Authors: Poernomo, Iman Hafiz, 1976- (Author), Crossley, John N. (Author), Wirsing, Martin, 1948- (Author)
Format: Book
Language:English
Published: New York : Springer, c2005.
Series:Monographs in computer science
Subjects:
For reservations / loans, please log in.
Description Status Library Collection Call Number Notes Barcode
Available
Month
Faculty of Informatics L342 4200511100