2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.PL2020
A categorical approach to secure compilation
Stelios Tsampas, Andreas Nuyts, Dominique Devriese +1
We introduce a novel approach to secure compilation based on maps of distributive laws. We demonstrate through four examples that the coherence criterion for maps of distributive l…
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…