\lambda-Scale, a lambda calculus for spaces with dilations

arXiv1205.0139MaRDI QIDQ6232695FDOQ6232695

Authors: Marius Buliga 

Publication date: 1 May 2012

Abstract: $lambda$-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations.

This page was built for publication: $\lambda$-Scale, a lambda calculus for spaces with dilations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6232695)