TY  - RPRT
TI  - A modular construction of type theories
AU  - Frédéric Blanqui
AU  - Gilles Dowek
AU  - Emilie Grienenberger
AU  - Gabriel Hondet
AU  - François Thiré
PY  - 2023
DO  - 10.46298/lmcs-19(1:12)2023
UR  - https://arxiv.org/abs/2111.00543
ID  - 2111.00543
ER  -