Derivation and Computation: Taking the Curry-Howard correspondence seriously
By: Simmons, H.
Material type: BookSeries: Cambridge Tracts in Theoretical Computer Science no. 51.Publisher: Cambridge Cambridge University Press 2000Description: xxv, 384p.ISBN: 978-0-521-77173-3.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511.321 SIM (Browse shelf) | Available | 506323 | |||
511.321 SIM (Browse shelf) | Available | 509373 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
511.32 ENG Sperner theory | 511.32 KAM Theory of Sets á | 511.32 ZAP Forcing idealized | 511.321 SIM Derivation and Computation: Taking the Curry-Howard correspondence seriously | 511.321 SIM Derivation and Computation: Taking the Curry-Howard correspondence seriously | 511.322 BAR Set theory: On the structure of the real line | 511.322 CIE The covering property axiom, CPA: A combinatorial core of the iterated perfect set model |
There are no comments for this item.