scientific article; zbMATH DE number 1330448

zbMath0924.68030MaRDI QIDQ4261091

Søren B. Lassen

Publication date: 21 September 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=20#20021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Böhm tree equivalence

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (13)

Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus ⋮ Proving soundness of extensional normal-form bisimilarities ⋮ On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ Unnamed Item ⋮ A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus ⋮ On the observational theory of the CPS-calculus ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Unnamed Item ⋮ Equations, Contractions, and Unique Solutions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: