Representation of varieties in combinatory algebras

DOI10.1007/BF01229961zbMath0617.08011MaRDI QIDQ1821805

Erwin Engeler

Publication date: 1988

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

combinatorsuniversal classesretractscombinatory algebraalgorithmic classescompletions of algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Combinatory differential fields ⋮ Extension of combinatory logic to a theory of combinatory representation ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus

Cites Work

• Unnamed Item
• Algebras and combinators
• What is a model of the lambda calculus?

This page was built for publication: Representation of varieties in combinatory algebras