@misc{indiciae23299eaae739,
  title = {Towards a Denotational Semantics for Proofs in Constructive Modal Logic},
  author = {Matteo Acclavio and Davide Catta and Lutz Straßburger},
  year = {2021},
  url = {https://arxiv.org/abs/2104.09115},
  note = {Source identifier: 2104.09115}
}