scientific article
From MaRDI portal
Publication:2704324
zbMath0967.68034MaRDI QIDQ2704324
Publication date: 19 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ On Applicative Similarity, Sequentiality, and Full Abstraction ⋮ A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ Encoding abstract syntax without fresh names ⋮ Complete Lattices and Up-To Techniques ⋮ Modelling higher-order dual nondeterminacy ⋮ Selective strictness and parametricity in structural operational semantics, inequationally ⋮ Effectful applicative similarity for call-by-name lambda calculi ⋮ On generic context lemmas for higher-order calculi with sharing ⋮ Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi ⋮ Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion ⋮ On the observational theory of the CPS-calculus ⋮ On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Towards `up to context' reasoning about higher-order processes ⋮ Equations, Contractions, and Unique Solutions ⋮ Unnamed Item ⋮ Amb Breaks Well-Pointedness, Ground Amb Doesn't ⋮ Contextual equivalence for inductive definitions with binders in higher order typed functional programming
This page was built for publication:
