Models of type theory with strict equalityTools Capriotti, Paolo (2017) Models of type theory with strict equality. PhD thesis, University of Nottingham.
AbstractThis thesis introduces the idea of twolevel type theory, an extension of MartinLöf type theory that adds a notion of strict equality as an internal primitive.
Actions (Archive Staff Only)
