Showing 1 - 20 results of 107 for search '', query time: 0.23s Refine Results
  1. 1
    Types for proofs and programs : International Workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
    Published 1999

    Conference Proceeding Book
  2. 2
    Types for proofs and programs : international workshop, TYPES 99, L�okeberg, Sweden, June 12-16, 1999 : selected papers /
    Published 2001

    Conference Proceeding Book
  3. 3
    Why like isn't like is-a (or as you like it) /
    by Wegner, Peter
    Published 1987

    Book
  4. 4
    Las paradojas lógicas y la teoría de la predicación /

    Book
  5. 5
    Some applications of the type concept,
    by Glassmire, William Fischer
    Published 1970

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  6. 6
    Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /
    Published 2020

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    PRATICA : proofs, types and categories /
    Published 1999

    Book
  8. 8
    Explicit substitutions and all that /
    by Ayala-Rincón, M (Mauricio)
    Published 2000

    Book
  9. 9
    An algebraic model of subtype and inheritance /
    by Bruce, Kim B
    Published 1987

    Book
  10. 10
    Modules, abstract types, and distributed versioning /
    by Sewell, Peter
    Published 2000

    Book
  11. 11
    A transfinite type theory with type variables

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    Information and knowledge a constructive type-theoretical approach /
    by Primiero, Giuseppe
    Published 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  13. 13
    Categorical logic and type theory
    by Jacobs, Bart
    Published 1999

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  14. 14
    Behavioral types in programming languages /
    by Ancona, Davide
    Published 2016

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 15
    A modern perspective on type theory from its origins until today /
    by Kamareddine, Fairouz D
    Published 2004

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  16. 16
    Type theory and functional programming /
    by Thompson, Simon
    Published 1991

    Book
  17. 17
    Verified Functional Programming in Agda /
    by Stump, Aaron
    Published 2016

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  18. 18
    Type structures /
    by Hwang, Che-yuan, 1939-
    Published 1984

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  19. 19
    A non-type-theoretic semantics for type-theoretic language /
    by Allen, Stuart Frazier
    Published 1987

    Thesis Book
  20. 20
    The theory of logical types /
    by Copi, Irving M
    Published 2011

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
Search Tools: Get RSS Feed — Email this Search