Showing 1 - 6 results of 6 for search '"Oxford science publications"', query time: 6.76s Refine Results
  1. 1
    Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
    Published 1998
    “...Oxford science publications...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
    Save to List
    Saved in:
  2. 2
    Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /
    Published 1998
    “...Oxford science publications...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
  3. 3
    Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
    Published 1998
    “...Oxford science publications...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
    Save to List
    Saved in:
  4. 4
    Programming in Martin-L�ofs type theory : an introduction /
    by Nordstr�om, Bengt
    Published 1990
    “...Oxford science publications...”

    Book
    Save to List
    Saved in:
  5. 5
    Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /
    Published 1998
    “...Oxford science publications...”

    Book
    Save to List
    Saved in:
  6. 6
    Programming in Martin-Löf's type theory : an introduction /
    “...Oxford science publications...”

    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search