Normal view MARC view ISBD view

Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien

Main Author Amadio, Roberto M. Coauthor Curien, P.-L. Country Reino Unido. Publication Cambridge : Cambridge University Press, 1998 Description XVI, 484 p. ; 24 cm Series Cambridge tracts in theoretical computer science , 46 ISBN 0-521-62277-8 CDU 519.682
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
BGUMD 109710 Available 238300
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.