Showing 1 - 2 results of 2 for search 'Smith, Jan M.', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /

    Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /

    Published 1998
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Programming in Martin-Löf's type theory an introduction

    Programming in Martin-Löf's type theory an introduction by Nordström, Bengt, Petersson, Kent, Smith, Jan M.

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: