Suggested Topics within your search.
Showing 1 - 3 results of 3 for search '"Type theory."', query time: 0.01s Refine Results
  1. 1
    A transfinite type theory with type variables /
    Book
    Subjects: “…Type theory.…”
    Save to List
    Saved in:
  2. 2
    Some uses of type theory in the analysis of language /
    Book
    by Rennie, M. K.
    Published 1974
    Subjects: “…Type theory.…”
    Save to List
    Saved in:
  3. 3
    Semantics of type theory : correctness, completeness, and independence results /
    Book
    by Streicher, Thomas, 1958-
    Published 1991
    Subjects: “…Type theory.…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search