Simmons, H Subscribe to this list

| Select titles to:
Derivation and Computation: Taking the Curry-Howard correspondence seriously

by Simmons, H.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge Cambridge University Press 2000Availability: Items available for loan: [Call number: 511.321 SIM] (2).
Log in to create new lists.

International Institute of Information Technology, Bangalore
26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us
Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.