λμ-calculus and Böhm's theorem

DOI10.2307/2694930zbMath0981.03019OpenAlexW1995963173MaRDI QIDQ2732290

Walter Py, René David

Publication date: 11 March 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694930

zbMATH Keywords

Böhm's theoremclassical lambda calculuslambda mu calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (14)

Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus ⋮ The differential \(\lambda \mu\)-calculus ⋮ A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus ⋮ The relational model is injective for multiplicative exponential linear logic (without weakenings) ⋮ Call-by-name extensionality and confluence ⋮ Classical Call-by-Need and Duality ⋮ A Filter Model for the λμ-Calculus ⋮ A type-theoretic foundation of delimited continuations ⋮ An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form ⋮ Unnamed Item ⋮ Polarized proof-nets and \(\lambda \mu\)-calculus ⋮ Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus ⋮ The approximation theorem for the Λμ-calculus

Cites Work

• Unnamed Item

This page was built for publication: λμ-calculus and Böhm's theorem