Types for proofs and programs

Loading edition detail...

Preparing this view.

Types for proofs and programs

TYPES 2003 (2003 Turin, Italy)

Bookitis Pick

Image source: Open Library

TYPES 2003 (2003 Turin, Italy)Published 2004cover on file

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer
Pages	408
Search language	english
ISBN_10	3-540-22164-6 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.