Types for proofs and programs

Loading edition detail...

Preparing this view.

Types for proofs and programs

International Workshop TYPES '94 (1994 Båstad, Sweden)

Bookitis Pick

Image source: Open Library

International Workshop TYPES '94 (1994 Båstad, Sweden)Published 1995cover 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	202
Search language	english
ISBN_10	3-540-60579-7 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.