From Böhm's Theorem to Observational Equivalences
From MaRDI portal
Publication:4916172
DOI10.1016/S1571-0661(04)00167-7zbMath1261.03074MaRDI QIDQ4916172
Elio Giovannetti, Mariangiola Dezani-Ciancaglini
Publication date: 19 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Related Items (4)
Trees from Functions as Processes ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form ⋮ Unnamed Item
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models
- Algebras and combinators
- An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
- Full abstraction in the lazy lambda calculus
- An analysis of Böhm's theorem
- The lazy lambda calculus in a concurrency scenario
- Infinitary lambda calculus
- Discrimination by parallel observers: the algorithm.
- The discriminating power of multiplicities in the \(\lambda\)-calculus
- A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
- Data Types as Lattices
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- A Filter Model for Concurrent $\lambda$-Calculus
- Infinitary lambda calculi and böhm models
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: From Böhm's Theorem to Observational Equivalences
