Semantics of type theory

Loading edition detail...

Preparing this view.

Semantics of type theory

Thomas Streicher

Bookitis Pick

Image source: Open Library

Thomas StreicherPublished 1991cover 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	Birkhäuser
Pages	298
Search language	english
ISBN_10	0-817-63594-7 primary
ISBN_10	3-764-33594-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.