2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2024
A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
This is the technical report accompanying the paper "A Sound and Complete Substitution Algorithm for Multimode Type Theory" [Ceulemans, Nuyts and Devriese, 2024]. It contains a ful…
cs.PL2022★ 2 cited
Sikkel: Multimode Simple Type Theory as an Agda Library
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
Many variants of type theory extend a basic theory with additional primitives or properties like univalence, guarded recursion or parametricity, to enable constructions or proofs t…