On the number of fixed points of a combinator in lambda calculus

DOI10.1017/S0960129500003091zbMath0968.03018MaRDI QIDQ4526150

E. Biasone, Benedetto Intrigila

Publication date: 19 July 2001

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

zbMATH Keywords

NFPlambda calculusfixpointrange theorem

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Lambda theories allowing terms with a finite number of fixed points

This page was built for publication: On the number of fixed points of a combinator in lambda calculus