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

Streicher, T.

 
9780817635947: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Hardcover
ISBN 10: 0817635947 ISBN 13: 9780817635947
Publisher: Birkhauser Boston Inc, 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.

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 mathematicians and theoretical computer scientists working in

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

Publisher
Birkhauser Boston Inc
Publication date
1991
Language
English
ISBN 10 
0817635947
ISBN 13 
9780817635947
Binding
Hardcover
Number of pages
312

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  1461267579 ISBN 13:  9781461267577
Publisher: Birkhäuser, 2012
Softcover