On Quantitative Algebraic Higher-Order Theories - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

On Quantitative Algebraic Higher-Order Theories

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03921800 , version 1

Citer

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⟩
30 Consultations
14 Téléchargements

Partager

Gmail Facebook X LinkedIn More