Lambda theories allowing terms with a finite number of fixed points

DOI10.1017/S0960129515000419zbMath1423.03055MaRDI QIDQ2973253

Benedetto Intrigila, Richard Statman

Publication date: 3 April 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Constructive proofs of the range property in lambda calculus
• Some results on extensionality in lambda calculus
• On the number of fixed points of a combinator in lambda calculus
• The range property fails for H

This page was built for publication: Lambda theories allowing terms with a finite number of fixed points