7 citations · 10 across the 4 of their papers we have counts for
1 paper · 1 filter
Pieter Hofstra, Michael A. Warren
We introduce a new model construction for Martin-Löf intensional type theory, which is sound and complete for the 1-truncated version of the theory. The model formally combines the…