Algebraic combinatory models

04/23/2021
by   Marlou M. Gijzen, et al.
0

We introduce an equationally definable counterpart of the notion of combinatory model. The new notion, called an algebraic combinatory model, is weaker than that of a lambda algebra but is strong enough to interpret lambda calculus. The class of algebraic combinatory models admits finite axiomatisation with seven closed equations, and it can be characterised as the retracts of combinatory models. Lambda algebras are then characterised as algebraic combinatory models which are stable, and there is a canonical construction of a lambda algebra from an algebraic combinatory model. This passage to a lambda algebra also manifests itself in our construction of a cartesian closed category with a reflexive object from an algebraic combinatory model. The resulting axiomatisation of lambda algebras with the seven equations and stability corresponds to that of Selinger [J. Funct. Programming, 12(6), 549-566, 2002], which would clarify the origin and the role of each axiom in his axiomatisation.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/29/2018

Unification and Logarithmic Space

We present an algebraic characterization of the complexity classes Logsp...
10/17/2019

Partial combinatory algebra and generalized numberings

Generalized numberings are an extension of Ershov's notion of numbering,...
07/16/2018

What is algebraic about algebraic effects and handlers?

This note recapitulates and expands the contents of a tutorial on the ma...
09/23/2017

The algebra of entanglement and the geometry of composition

String diagrams turn algebraic equations into topological moves that hav...
05/03/2020

Algebraic classifications for fragments of first-order logic and beyond

Complexity and decidability of logical systems is a major research area ...
03/28/2020

Stream/block ciphers, difference equations and algebraic attacks

In this paper we model a class of stream and block ciphers as systems of...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.