| http://www.w3.org/ns/prov#value | - This article is an overview over the main techniques in developing these models, full details will be presented in a series of future articles. 1 Introduction This article presents some results of a research program with the goal of de-termining as strong as possible predicatively justified extensions of Martin-L"of type theory (MLTT) and to determine their precise proof theoretic strengt
|
