scientific article; zbMATH DE number 7029305
From MaRDI portal
Publication:4625694
Giulio Manzonetto, Andrew Polonsky, Benedetto Intrigila
Publication date: 25 February 2019
Full work available at URL: https://arxiv.org/abs/1802.07320
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
\(\lambda\)-calculusBöhm treesobservational equivalences\(\lambda\)-theoriesBöhm-out technique\(\omega\)-ruleSallé's conjecture
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relational graph models, Taylor expansion and extensionality
- The parametric lambda calculus. A metamodel for computation.
- Parametric \(\lambda \)-theories
- On structural properties of eta-expansions of identity
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models
- Breaking through the normalization barrier: a self-interpreter for f-omega
- Axiomatizing the Quote
- A combinatory account of internal structure
- A General Class of Models of $\mathcal{H}^*$
- The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus
- The λ-calculus is ω-incomplete
- A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- Degrees of sensible lambda theories
- On the characterization of models of H
- Efficient self-interpretation in lambda calculus
- The Lattice of Lambda Theories
- From Böhm's Theorem to Observational Equivalences
- The infinitary lambda calculus of the infinite eta Böhm trees
- Practical coinduction
- New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.
This page was built for publication:
