Showing 1 - 1 results of 1 for search 'Tevens verschenen als proefschrift LFCS Edinburgh', query time: 0.01s Refine Results
  1. 1
    Extensional constructs in intensional type theory
    by Hofmann M.
    Published 1997
    “…Tevens verschenen als proefschrift LFCS Edinburgh…”
    Book
Search Tools: RSS Feed – Email Search