From Böhm's Theorem to Observational Equivalences

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)

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: From Böhm's Theorem to Observational Equivalences