On Quantitative Algebraic Higher-Order Theories - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

On Quantitative Algebraic Higher-Order Theories


We explore the possibility of extending Mardare et al.’s quantitative algebras to the structures which naturally emerge from Combinatory Logic and the λ-calculus. First of all, we show that the framework is indeed applicable to those structures, and give soundness and completeness results. Then, we prove some negative results clearly delineating to which extent categories of metric spaces can be models of such theories. We conclude by giving several examples of non-trivial higher-order quantitative algebras.
Fichier principal
Vignette du fichier
fscd2022.pdf (802.31 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03921800 , version 1 (04-01-2023)


  • HAL Id : hal-03921800 , version 1


Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone. On Quantitative Algebraic Higher-Order Theories. FSCD 2022 - 7th International Conference on Formal Structures for Computation and Deduction, Aug 2022, Haifa, Israel. ⟨hal-03921800⟩
14 View
8 Download


Gmail Facebook Twitter LinkedIn More