Showing 1 - 1 results of 1 for search '"CPHC/BCS distinguished dissertations"', query time: 0.02s Refine Results
  1. 1
    Extensional constructs in intensional type theory
    by Hofmann, Martin
    Published 1997
    “…CPHC/BCS distinguished dissertations…”
    Book
Search Tools: RSS Feed – Email Search