scientific article; zbMATH DE number 7204439

DOI10.4230/LIPICS.FSCD.2017.20MaRDI QIDQ5111316zbMATH OpenFDO

Authors Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky

Publication date 26 May 2020

zbMATH Keywords

lambda calculusobservational equivalence\(\omega\)-ruleBöhm trees

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• Some results on extensionality in lambda calculus
• New results on Morris's observational theory: the benefits of separating the inseparable
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus

Cites work

• scientific article; zbMATH DE number 3523517 (Why is no real title available?)
• scientific article; zbMATH DE number 3596799 (Why is no real title available?)
• scientific article; zbMATH DE number 3637819 (Why is no real title available?)
• scientific article; zbMATH DE number 1342276 (Why is no real title available?)
• scientific article; zbMATH DE number 2090071 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A General Class of Models of $\mathcal{H}^*$
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• A combinatory account of internal structure
• Axiomatizing the quote
• Breaking through the normalization barrier: a self-interpreter for F-omega
• Degrees of sensible lambda theories
• Efficient self-interpretation in lambda calculus
• New results on Morris's observational theory: the benefits of separating the inseparable
• On structural properties of eta-expansions of identity
• On the characterization of models of \(\mathcal{H}^*\)
• Relational graph models, Taylor expansion and extensionality
• The Lattice of Lambda Theories
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The infinitary lambda calculus of the infinite eta Böhm trees
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The parametric lambda calculus. A metamodel for computation.
• The λ-calculus is ω-incomplete
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models

Cited in

(6)

• Some results on extensionality in lambda calculus
• New results on Morris's observational theory: the benefits of separating the inseparable
• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus
• Relational graph models at work
• Disproving the Single Level Conjecture

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 Q5111316)