• RecordNumber
    23316
  • Author

    Streicher, Thomas, 1958-

  • Title

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

  • Author Statement
    Thomas Streicher
  • Publication
    Birkhauser
  • Publication Year
    1991
  • Collation
    Xii, 298P., illus., diagr
  • Series
    Progress in Theoretical computer science
  • Notes
    Bibliography: P. [292]-295 , 0817635947
  • Subject

    Type theory , Functional programming (Computer science) , Programming languages (Electronic computers)-Semantics

  • LC Class
    QA
  • LC Number
    76.7
  • LC CutterNumber
    .S82
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=23316&Field=0&DTC=2