Lambda theories allowing terms with a finite number of fixed points
From MaRDI portal
Publication:2973253
Recommendations
- Parametric \(\lambda \)-theories
- The Lattice of Lambda Theories
- On the number of fixed points of a combinator in lambda calculus
- scientific article; zbMATH DE number 759438
- Fixed points in lambda calculus. an eccentric survey of problems and solutions
- Lambda Theories of Effective Lambda Models
- scientific article; zbMATH DE number 4037168
- Theories with finitely many models
- A natural counting of lambda terms
- [Russian Text Ignored]
Cites work
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- Constructive proofs of the range property in lambda calculus
- On the number of fixed points of a combinator in lambda calculus
- Some results on extensionality in lambda calculus
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The range property fails for H
Cited in
(8)- The fixed point property and a technique to harness double fixed point combinators
- Fixed points in lambda calculus. an eccentric survey of problems and solutions
- Ellipses and lambda definability
- Point-fixe sur un ensemble restreint
- Unfixing the fixpoint: the theories of the \(\lambda Y\)-calculus
- On the number of fixed points of a combinator in lambda calculus
- No solvable lambda-value term left behind
- scientific article; zbMATH DE number 7577574 (Why is no real title available?)
This page was built for publication: Lambda theories allowing terms with a finite number of fixed points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2973253)
