Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) - Hardcover
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.
Other Popular Editions of the Same Title
Search results for Semantics of Type Theory: Correctness, Completeness...
Seller Image
Semantics of type theory : Correctness, Completeness and Independence Results
Published by
Boston; Basel; Berlin : Birkhäuser, 1991
ISBN 10: 3764335947
ISBN 13: 9783764335946
Used
Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Hardcover. XII, 298 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Retired library copy with corresponding markings. Otherwise, a neat copy. 9783764335946 Sprache: Englisch Gewicht in Gramm: 1000. Seller Inventory # 317551