Join BookitisSave favorites, build lists, and follow creators.
Log InCreate Account

Types for proofs and programs

TYPES 2002 (2002 Berg en Dal, Netherlands)

Bookitis Pick
Cover for Types for proofs and programs
TF
Image source: Open Library
TYPES 2002 (2002 Berg en Dal, Netherlands)Published 2003cover 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 entryMore like this
Log in to favorite or list
PublisherSpringer
Pages330
Search languageenglish
ISBN_103-540-14031-X 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.