363 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Heriot-Watt UniversityGB51 papers
- University of EdinburghGB10 papers
- Maxwell Institute for Mathematical SciencesGB9 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Imperial College LondonGB5 papers
- University of OxfordGB4 papers
- Huazhong University of Science and TechnologyCN3 papers
- Université de LilleFR3 papers
- CEA Paris-SaclayFR2 papers
- Center for Astrophysics Harvard & SmithsonianUS2 papers
- Centre de Recherche en InformatiqueFR2 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR2 papers
Showing 2025 · cs.LOShow all
2 papers · 2 filters
cs.LO2025
Strong Dinatural Transformations and Generalised Codensity Monads
Maciej Piróg, Filip Sieczkowski
We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on…
cs.LO2025★ 1 cited
Metric Equational Theories
Radu Mardare, Neil Ghani, Eigil Rischel
This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET)…