scientific article; zbMATH DE number 7204439

DOI10.4230/LIPICS.FSCD.2017.20zbMATH Open1434.03052MaRDI QIDQ5111316FDOQ5111316

Authors: Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky 

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• The parametric lambda calculus. A metamodel for computation.
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• Relational graph models, Taylor expansion and extensionality
• A General Class of Models of $\mathcal{H}^*$
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• Title not available (Why is that?)
• On the characterization of models of \(\mathcal{H}^*\)
• Title not available (Why is that?)
• Efficient self-interpretation in lambda calculus
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• A combinatory account of internal structure
• Title not available (Why is that?)
• Title not available (Why is that?)
• The λ-calculus is ω-incomplete
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Lattice of Lambda Theories
• On structural properties of eta-expansions of identity
• Axiomatizing the quote
• Breaking through the normalization barrier: a self-interpreter for F-omega
• 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
• Degrees of sensible lambda theories
• New results on Morris's observational theory: the benefits of separating the inseparable
• The infinitary lambda calculus of the infinite eta Böhm trees

Cited In (6)

• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus
• Disproving the Single Level Conjecture
• 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
• Some results on extensionality in lambda calculus
• Relational graph models at work

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)