Typed lambda calculi and applications / Groote,Philippe de.

By: Groote,Philippe deMaterial type: Text

TextLanguage: English Series: Lecture notes in computer science,No-1210Publication details: Berlin: Springer, 1997. Edition: 3rd International CoDescription: viii,404p;26cmISBN: 3540626883DDC classification: 004.0151 GRO

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 library	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book)	Central Library, TU	Reference	004.0151 GRO (Browse shelf(Opens below))	Not for loan		11452

Total holds: 0

Includes bibliographical references.

There are no comments on this title.

to post a comment.