scientific article; zbMATH DE number 65759

MaRDI QIDQ4010370zbMATH OpenFDO

Authors Richard Statman

Publication date 27 September 1992

zbMATH Keywords

binary languagescombinatory logicnormal varieties of combinatorsorder-zero solutions to normal equationssolvable combinators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Representation of varieties in combinatory algebras
• Some examples of non-existent combinators
• scientific article; zbMATH DE number 3889503
• Normally presented varieties
• The word problem for regular identities

Cited in

(2)

• Some new results on easy lambda-terms
• Some examples of non-existent combinators

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 Q4010370)