scientific article; zbMATH DE number 2172859

zbMATH Open1097.03012MaRDI QIDQ4680256FDOQ4680256

Authors: Isidore Fleischer 

Publication date: 9 June 2006

Full work available at URL: https://eudml.org/doc/34602

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3865261
• scientific article; zbMATH DE number 4094791
• A characterization of iterative function algebras
• scientific article; zbMATH DE number 63120
• Extension of combinatory logic to a theory of combinatory representation

zbMATH Keywords

semigroupsubstitutionpreiterative algebraCayley representationselfmapassociative/superassociative lawMal'tsev's formalismpreiterative/combinatory formalism

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Combinatory logic and lambda calculus (03B40) Equational classes, universal algebra in model theory (03C05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• ON SUBSTITUTIVE ALGEBRA AND ITS SYNTAX
• A composition algebra for multiplace functions
• Combinators, \(\lambda\)-terms and proof theory
• The Substitutive Law
• Defining relations for full semigroups of finite transformations
• The semigroup of not bijective finite selfmaps of an infinite set
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4680256)