Extensional Concepts in Intensional Type Theory
dcs.ed.ac.ukPhD thesis of Martin Hofmann, which shows how the intensional, constructive view of equality in Martin-Löf's Type Theory can be reconciled with the classical, extensional view of identity.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.