Semantics of type theory : correctness, completeness and independence results

Author(s)

Bibliographic Information

Semantics of type theory : correctness, completeness and independence results

Thomas Streicher

（Progress in theoretical computer science）

Springer Science+Business Media, c1991

  • : pbk

Available at  / 1 libraries

Search this Book/Journal

Note

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

Related Books： 1-1 of 1

Details

  • NCID
    BC03141029
  • ISBN
    • 9781461267577
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    New York
  • Pages/Volumes
    xii, 298 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top