Representation of varieties in combinatory algebras
From MaRDI portal
Publication:1821805
DOI10.1007/BF01229961zbMath0617.08011MaRDI QIDQ1821805
Publication date: 1988
Published in: Algebra Universalis (Search for Journal in Brave)
combinators; universal classes; retracts; combinatory algebra; algorithmic classes; completions of algebras
08B05: Equational logic, Mal'tsev conditions
03C05: Equational classes, universal algebra in model theory
03B40: Combinatory logic and lambda calculus
Related Items
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