Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons. taking the Curry-Howard correspondence seriously /

Saved in:
Bibliographic Details
Main Author: Simmons, Harold
Format: Book
Language:English
Published: Cambridge : Cambridge University Press, c2000
Series:Cambridge tracts in theoretical computer science ; 51
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Shelfmark: 511.3/SIM
Copy [0402300742] Available