The absence and the presence of fixed point combinators

DOI10.1016/0304-3975(91)90034-YzbMath0731.03012WikidataQ114262241 ScholiaQ114262241MaRDI QIDQ807612

Larry Wos, William W. McCune

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

fixed-point propertyfixed-point combinatorlogic with equality

Mathematics Subject Classification ID

Related Items (5)

Automatic construction of finite algebras ⋮ The Legacy of a Great Researcher ⋮ The kernel strategy and its use for the study of combinatory logic ⋮ Clocked lambda calculus ⋮ Uniform strategies: The CADE-11 theorem proving contest

Cites Work

• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• A case study in automated theorem proving: Finding sages in combinatory logic
• The lambda calculus, its syntax and semantics

This page was built for publication: The absence and the presence of fixed point combinators