Lectures on the Curry-Howard isomorphism

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Studies in logic and the foundations of mathematics; v 149Publication details: Amsterdam Elsevier 2006Description: xiv,442pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata	511.33 So713 (Browse shelf(Opens below))	Available		127180

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available				No cover image available	Next
Previous	511.33 R975 Introduction to Lattice theory	511.33 Sch378 Equality,resemblance,and order	511.33 Sch378 Equality,resemblance,and order	511.33 So713 Lectures on the Curry-Howard isomorphism	511.33 St839 Semimodular lattices	511.33 St885 Binary functions and their applications	511.33 St933(5) Ordinal algebras	Next

There are no comments on this title.

to post a comment.