Showing 1 - 3 results of 3 for search '"Type theory."', query time: 0.02s Refine Results
  1. 1

    Type theory and formal proof an introduction by Nederpelt, Rob, Geuvers, Herman

    Published 2014
    Book

    Type theory and formal proof an introduction
  2. 2

    Treatise on intuitionistic type theory by Granström, Johan Georg

    Published 2011
    Available for UP System via Springer Link.
    Electronic Resource

    Treatise on intuitionistic type theory
  3. 3

    The theory of logical types by Copi, Irving M.

    Published 1971
    Book

    The theory of logical types

Search Tools: