Normal view MARC view ISBD view

Lectures on the curry-howard isomorphism / Morten Heine Sorensen, Pawel Urzyczyn

Main Author Sorensen, Morten Heine Coauthor Urzyczyn, Pawel Country Estados Unidos. Edition 1st ed Publication Boston, MA : Elsevier, 2006 Description XIV, 442 p. ; 24 cm Series Studies in logic and the foundations of mathematics , 149 , 0049-237X ISBN 0-444-52077-5
978-0-444-52077-7 CDU 510.6 519.6

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

average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Status	Date due	Barcode	Item holds	Course reserves
Monografia	Biblioteca Geral da Universidade do Minho	BGUM 510.6 - S	Available		404284		Mestrado e Matemática e Computação Lógica da programação 1º semestre