Towards a Denotational Semantics for Proofs in Constructive Modal Logic

MLA

Acclavio, Matteo, et al. Towards a Denotational Semantics for Proofs in Constructive Modal Logic. Jan. 2021. EBSCOhost, https://doi.org/10.48550/arxiv.2104.09115.

APA

Acclavio, M., Catta, D., & Straßburger, L. (2021). Towards a Denotational Semantics for Proofs in Constructive Modal Logic. https://doi.org/10.48550/arxiv.2104.09115

Chicago

Acclavio, Matteo, Davide Catta, and Lutz Straßburger. 2021. “Towards a Denotational Semantics for Proofs in Constructive Modal Logic,” January. doi:10.48550/arxiv.2104.09115.