scientific article

zbMath1276.68045MaRDI QIDQ2863895

Paul Blain Levy

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004713?np=y

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

zbMATH Keywords

nondeterminismapplicative bisimulationcall-by-valueHowe's methodcoinductiveinfinitary syntax

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (3)

On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity ⋮ Amb Breaks Well-Pointedness, Ground Amb Doesn't

This page was built for publication: