Showing 1 - 2 results of 2 for search 'Smith, Jan M.', query time: 0.03s Refine Results
  1. 1

    Programming in Martin-Lof's type theory : an introduction / by Nordström, Bengt

    Published 1990
    Other Authors:
    Book
  2. 2

    Proceedings of the workshop on programming logic /

    Published 1989
    Other Authors:
    Book