Lambda theories allowing terms with a finite number of fixed points

DOI10.1017/S0960129515000419zbMATH Open1423.03055MaRDI QIDQ2973253FDOQ2973253

Authors: Benedetto Intrigila, Richard Statman 

Publication date: 3 April 2017

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

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]

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Title not available (Why is that?)
• 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

Cited In (8)

• Unfixing the fixpoint: the theories of the \(\lambda Y\)-calculus
• Point-fixe sur un ensemble restreint
• The fixed point property and a technique to harness double fixed point combinators
• Ellipses and lambda definability
• Title not available (Why is that?)
• No solvable lambda-value term left behind
• Fixed points in lambda calculus. an eccentric survey of problems and solutions
• On the number of fixed points of a combinator in lambda calculus

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)