Showing 1 - 3 results of 3 for search 'Nordström, Bengt', query time: 0.02s Refine Results
  1. 1

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

    Published 1990
    Book
  2. 2

    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Published 1995
    Other Authors:
    Conference Proceeding Book
  3. 3

    Proceedings of the workshop on programming logic /

    Published 1989
    Other Authors:
    Book