1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
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…