Showing 1 - 20 results of 32 for search '', query time: 0.31s Refine Results
  1. 1
    A transfinite type theory with type variables /
    Book
  2. 2
    Materialism and sensations /
    by Cornman, James W.
    Published 1971
    Book
  3. 3
    The theory of logical types /
    by Copi, Irving M.
    Published 1971
    Book
  4. 4
    An introduction to mathematical logic and type theory : to truth through proof /
    Book
  5. 5
    Proofs and types /
    by Girard, Jean-Yves
    Published 1989
    Book
  6. 6
    Formal parametric polymorphism /
    by Abadi, Martín
    Published 1993
    Book
  7. 7
    The genericity theorem and the notion of parametricity in the polymorphic [lambda]-calculus /
    by Longo, G. Giuseppe
    Published 1992
    Book
  8. 8
    Type-theoretical grammar /
    by Ranta, Aarne
    Published 1994
    Book
  9. 9
    Isomorphisms of types : from [lambda]-calculus to information retrieval and language design /
    by Di Cosmo, Roberto, 1963-
    Published 1995
    Book
  10. 10
    Basic simple type theory /
    by Hindley, J. Roger
    Published 1997
    Book
  11. 11
    Extensional constructs in intensional type theory /
    by Hofmann, Martin, 1965-
    Published 1997
    Book
  12. 12
    Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
    Published 1998
    Conference Proceeding Book
  13. 13
    Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /
    Published 1998
    Book
  14. 14
    Models of sharing graphs : a categorical semantics of let and letrec /
    by Hasegawa, Masahito, 1970-
    Published 1999
    Book
  15. 15
    Categorical logic and type theory /
    by Jacobs, Bart
    Published 1999
    Book
  16. 16
    Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
    Published 1999
    Conference Proceeding Book
  17. 17
    Derivation and computation : taking the Curry-Howard correspondence seriously /
    by Simmons, Harold
    Published 2000
    Book
  18. 18
    History and philosophy of constructive type theory /
    by Sommaruga, Giovanni
    Published 2000
    Book
  19. 19
    Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /
    Published 2000
    Conference Proceeding Book
  20. 20
    An introduction to mathematical logic and type theory : to truth through proof /
    Book
Search Tools: RSS Feed – Email Search