TY  - RPRT
TI  - Towards a Denotational Semantics for Proofs in Constructive Modal Logic
AU  - Matteo Acclavio
AU  - Davide Catta
AU  - Lutz Straßburger
PY  - 2021
UR  - https://arxiv.org/abs/2104.09115
ID  - 2104.09115
ER  -