TY  - RPRT
TI  - Type Theory as a Language Workbench
AU  - Jan de Muijnck-Hughes
AU  - Guillaume Allais
AU  - Edwin Brady
PY  - 2023
UR  - https://arxiv.org/abs/2301.12852
ID  - 2301.12852
ER  -