Types for Proofs and Programs / Geubers, Herman.

By: Geubers, HermanMaterial type: Text

TextLanguage: English Series: Lecture Notes in Computer Science 2646Publication details: New York: Springer, 2003. Description: viii,330p.;25cmISBN: 354014031xDDC classification: 004 GEU

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 GEU (Browse shelf(Opens below))	Not for loan		25724

Total holds: 0

Previous		No cover image available			No cover image available	No cover image available	No cover image available	Next
Previous	004 FRE Spatial Cognition III /	004 GEL Lecture notes in Computer science 2004 /	004 GEL Computational linguistics and intelligent text precessing /	004 GEU Types for Proofs and Programs /	004 GOO Lecture notes in Computer science 2024 /	004 GOO Lecture notes in Computer science 1993 /	004 GOO Lecture notes in Computer science 1995 /	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.