scientific article; zbMATH DE number 906954

MaRDI QIDQ4886631zbMATH OpenFDO

Authors Olivier Bastonero, Xavier Gouy

Publication date 18 September 1996

zbMATH Keywords

continuous modelpure \(\lambda\)-calculusstrongly stable model

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Strong stability and the incompleteness of stable models for \(\lambda\)-calculus
• On the construction of stable models of untyped -calculus
• scientific article; zbMATH DE number 883584
• Topological incompleteness and order incompleteness of the lambda calculus

Cited in

(11)

• On the completeness of order-theoretic models of the \(\lambda \)-calculus
• Strong stability and the incompleteness of stable models for \(\lambda\)-calculus
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• On limit models over types in the class of -stable theories
• Easiness in graph models
• Completeness of continuation models for \(\lambda_\mu\)-calculus
• On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
• scientific article; zbMATH DE number 883584 (Why is no real title available?)
• Towards lambda calculus order-incompleteness
• On the construction of stable models of untyped -calculus
• Forcing in stable models of untyped -calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4886631)