Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Typed lambda calculi and applications : proceedings / 7th International Conference...; ed. Pawel Urzyczyn

Corporate Author (Main) International Conference on Typed Lambda Calculi and Applications, 7, Nara, Japan 2005 Secondary Author Urzyczyn, Pawel Country Alemanha. Publication Berlin : Springer, cop. 2005 Description XI, 432 p. : il. ; 24 cm Series Lecture notes in computer science , 3461 ISBN 3-540-25593-1
 978-3-540-25593-2 CDU 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
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 109359 Available 365588
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.