Algebraic combinatory models

by   Marlou M. Gijzen, et al.

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.



There are no comments yet.


page 1

page 2

page 3

page 4


Unification and Logarithmic Space

We present an algebraic characterization of the complexity classes Logsp...

Partial combinatory algebra and generalized numberings

Generalized numberings are an extension of Ershov's notion of numbering,...

What is algebraic about algebraic effects and handlers?

This note recapitulates and expands the contents of a tutorial on the ma...

The algebra of entanglement and the geometry of composition

String diagrams turn algebraic equations into topological moves that hav...

Algebraic classifications for fragments of first-order logic and beyond

Complexity and decidability of logical systems is a major research area ...

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.