Normal view MARC view ISBD view

Derivation and Computation: Taking the Curry-Howard correspondence seriously

Material type: materialTypeLabel

BookSeries: 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.

IIITB Library