most citedSikkel: Multimode Simple Type Theory as an Agda Library

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…