Zoekresultaten - "Type theory."

  • Toon 1 - 3 resultaten van 3
Verfijn jouw resultaten
  1. 1

    The theory of logical types door Copi, Irving M.

    Gepubliceerd in 1971
    Boek


    Beeld op de omslag
  2. 2

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

    Gepubliceerd in 2014
    Boek


    Beeld op de omslag
  3. 3

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

    Gepubliceerd in 2011
    Available for UP System via Springer Link.
    Electronic Resource


    Beeld op de omslag

Zoekinstrumenten: