scientific article; zbMATH DE number 7204439
From MaRDI portal
DOI10.4230/LIPIcs.FSCD.2017.20zbMath1434.03052MaRDI QIDQ5111316
Giulio Manzonetto, Andrew Polonsky, Benedetto Intrigila
Publication date: 26 May 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Cites Work
- 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.
- The lambda calculus. Its syntax and semantics. Rev. ed.
- 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 λβ-Calculus
- 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
- The infinitary lambda calculus of the infinite eta Böhm trees
- New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.
