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

Author(s)

• Streicher, Thomas

Bibliographic Information

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

Thomas Streicher

（Progress in theoretical computer science）

Birkhäuser, 1991

• : Basel
• : Boston

Note

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

Details

• NCID: BA13475660
• ISBN:
  • 3764335947
  • 0817635947
• LCCN: 91026116
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: xii, 298 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.7
  • DC20 : 005.13
• Subject Headings:
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Functional programming (Computer science)
  • LCSH : Type theory
• Parent Bibliography ID:
  • BA1282110X