TY  - RPRT
TI  - Sikkel: Multimode Simple Type Theory as an Agda Library
AU  - Joris Ceulemans
AU  - Andreas Nuyts
AU  - Dominique Devriese
PY  - 2022
DO  - 10.4204/eptcs.360.5
UR  - https://arxiv.org/abs/2207.00843
ID  - 2207.00843
ER  -