Login / Signup
Joris Ceulemans
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Theoretical Basis
Memory Requirements
Highly Reliable
Single Pass
Top Venues
CoRR
TYPES
MSFP@ETAPS
</>
Publications
</>
Joris Ceulemans
,
Andreas Nuyts
,
Dominique Devriese
A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report.
CoRR
(2024)
Joris Ceulemans
,
Andreas Nuyts
,
Dominique Devriese
A Sound and Complete Substitution Algorithm for Multimode Type Theory.
TYPES
(2023)
Joris Ceulemans
,
Andreas Nuyts
,
Dominique Devriese
Sikkel: Multimode Simple Type Theory as an Agda Library.
MSFP@ETAPS
(2022)