Quantitative Equality in Substructural Logic via Lipschitz Doctrines

Francesco Dagnino, Fabio Pasquali

Open source

DOI
10.46298/lmcs-21(1:7)2025
Published
2021-10-11T16:25:28Z
Container
Logical Methods in Computer Science, Volume 21, Issue 1 (January 28, 2025) lmcs:10396
Publisher
arXiv
Open access
yes

Credibility signals

uncertain Score 53/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.46298/lmcs-21-1:7-2025,
  title = {Quantitative Equality in Substructural Logic via Lipschitz Doctrines},
  author = {Francesco Dagnino and Fabio Pasquali},
  year = {2021},
  journal = {Logical Methods in Computer Science, Volume 21, Issue 1 (January 28, 2025) lmcs:10396},
  doi = {10.46298/lmcs-21(1:7)2025},
  url = {https://doi.org/10.46298/lmcs-21(1:7)2025}
}

RIS

TY  - JOUR
TI  - Quantitative Equality in Substructural Logic via Lipschitz Doctrines
AU  - Francesco Dagnino
AU  - Fabio Pasquali
PY  - 2021
JO  - Logical Methods in Computer Science, Volume 21, Issue 1 (January 28, 2025) lmcs:10396
DO  - 10.46298/lmcs-21(1:7)2025
UR  - https://doi.org/10.46298/lmcs-21(1:7)2025
ER  - 

APA

Dagnino, F., & Pasquali, F. (2021). Quantitative Equality in Substructural Logic via Lipschitz Doctrines. Logical Methods in Computer Science, Volume 21, Issue 1 (January 28, 2025) lmcs:10396. https://doi.org/10.46298/lmcs-21(1:7)2025

Source records