Lectures on the curry-Howard isomorphism Morten Heine Sørensen, Paweł Urzyczyn

By:

Contributor(s):

Publication details: Amsterdam Elsevier c2006Edition: 1st edDescription: xiv, 442 pISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.326 SOR (Browse shelf(Opens below))	Available		350897

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map