On Quantitative Algebraic Higher-Order Theories

04/28/2022
by   Ugo Dal Lago, et al.
0

We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-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 which clearly delineate 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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset