Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) - Hardcover

Streicher, Thomas

 
9783764335946: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Hardcover
ISBN 10: 3764335947 ISBN 13: 9783764335946
Publisher: Birkhauser Verlag AG, 1991

Synopsis

An exploration of the categorical semantics of theories of dependent and polymorphic types, using the example of Coquand and Huet's calculus of constructions. The application of constructive mathematics to the problem of defining functional computer programming languages should interest mathematicia

"synopsis" may belong to another edition of this title.

Publisher
Birkhauser Verlag AG
Publication date
1991
Language
English
ISBN 10 
3764335947
ISBN 13 
9783764335946
Binding
Hardcover
Number of pages
297

Other Popular Editions of the Same Title

9780817635947: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Featured Edition

ISBN 10:  0817635947 ISBN 13:  9780817635947
Publisher: Birkhauser Boston Inc, 1991
Hardcover