TY  - RPRT
TI  - Synthetic G-jet-structures in modal homotopy type theory
AU  - Felix Cherubini
PY  - 2024
DO  - 10.1017/s0960129524000355
UR  - https://arxiv.org/abs/1806.05966
ID  - 1806.05966
ER  -