प्रस्तावित विषय : खोज निहित
Showing 1 - 4 results of 4 for search '"type theory"', सवाल का समय: 0.03सेकंड परिणाम को परिष्कृत करें
  1. 1
    Categgories for types
    द्वारा Crole, Roy L.
    प्रकाशित 1993
    विषय: “...Categorical type theory...”
    Printed Book
  2. 2
    Type theory and formal proof : an introduction /
    द्वारा Nederpelt, R. P. (Rob P.), Geuvers, Herman, 1964-
    प्रकाशित 2014
    विषय: “...Type theory....”
    Cover image
  3. 3
    Materialism and sensations /
    द्वारा Cornman, James W.
    प्रकाशित 1971
    विषय: “...Type theory....”
    Printed Book
  4. 4
    The Handbook of Contemporary Semantic Theory
    प्रकाशित 2019
    Printed Book
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें