Semantics of type theory : correctness, completeness, and independence results /

Semantics of type theory : correctness, completeness, and independence results /

Saved in:
Bibliographic Details
Main Author: Streicher, Thomas, 1958-
Format: Book
Language:English
Published: Boston : Birkhauser, 1991.
Series:Progress in theoretical computer science
Subjects:
Programming languages (Electronic computers) > Semantics.
Functional programming (Computer science)
Type theory.
Description
Physical Description:xii, 298 p. : ill. ; 25 cm.
Bibliography:Includes bibliographical references (p. 292-295) and index.
ISBN:3764335947 (hard : acid-free) :
0817635947 (hard : acid-free) :

Similar Items