Normal view MARC view ISBD view

Derivation and Computation: Taking the Curry-Howard correspondence seriously

By: Simmons, H.
Material type: materialTypeLabelBookSeries: Cambridge Tracts in Theoretical Computer Science no. 51.Publisher: Cambridge Cambridge University Press 2000Description: xxv, 384p.ISBN: 978-0-521-77173-3.
List(s) this item appears in: Simmons, H
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
511.321 SIM (Browse shelf) Available 506323
511.321 SIM (Browse shelf) Available 509373

There are no comments for this item.

Log in to your account to post a comment.

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.