2000 character limit reached
$λ$-Scale, a lambda calculus for spaces with dilations
Published 1 May 2012 in cs.LO, math.LO, math.MG, and math.RA | (1205.0139v3)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.