Semantics of type theory : correctness, completeness, and independence results
著者
書誌事項
Semantics of type theory : correctness, completeness, and independence results
（Progress in theoretical computer science）
Birkhäuser, 1991
- : Basel
- : Boston
大学図書館所蔵 件 / 全26件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 292-295) and index
内容説明・目次
内容説明
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
「Nielsen BookData」 より
