Quantitative Equality in Substructural Logic via Lipschitz Doctrines

Francesco Dagnino, Fabio Pasquali

Open source

DOI
10.46298/lmcs-21(1:7)2025
Published
2025-01-28
Container
Logical Methods in Computer Science
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Open access
unknown

Credibility signals

uncertain Score 64/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 = {2025},
  journal = {Logical Methods in Computer Science},
  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  - 2025
JO  - Logical Methods in Computer Science
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. (2025). Quantitative Equality in Substructural Logic via Lipschitz Doctrines. Logical Methods in Computer Science. https://doi.org/10.46298/lmcs-21(1:7)2025

Source records