Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Lambda-calculus, types and models / J. L. Krivine; trad. René Cori

Main Author Krivine, J. L. Secondary Author Cori, René Country Estados Unidos. Publication Hemel Hampstead : Ellis Horwood, cop. 1993 Description VIII, 180 p. ; 24 cm Series Ellis Horwood series in computers and their applications ISBN 0-13-062407-1 CDU 510.5
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.5 - K Available 131755
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.