2 citations · 2 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Presheaf Models of Relational Modalities in Dependent Type Theory
Andreas Nuyts
This report is an extension of 'A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets' (Nuyts, arXiv:1706.04383). The purpose of this text is to prove all technic…
cs.LO2017★ 2 cited
A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets
Andreas Nuyts
The purpose of this text is to prove all technical aspects of our model for dependent type theory with parametric quantifiers [Nuyts, Vezzosi and Devriese, 2017]. It is well-known…