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

書誌事項

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

Thomas Streicher

(Progress in theoretical computer science)

Birkhäuser, 1991

  • : Basel
  • : Boston

大学図書館所蔵 件 / 26

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 292-295) and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ