Typed Normal Form Bisimulation

DOI10.1007/978-3-540-74915-8_23MaRDI QIDQ3608419zbMATH OpenOpenAlexFDO

Authors Soren B. Lassen, Paul Blain Levy

Publication date 5 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74915-8_23

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Proving soundness of extensional normal-form bisimilarities
• Normal form bisimulations for delimited-control operators
• scientific article; zbMATH DE number 1330448
• Logical Bisimulations and Functional Languages
• A bisimulation for type abstraction and recursion

Cited in

(19)

• Eager functions as processes
• Proving soundness of extensional normal-form bisimilarities
• On bisimilarity in lambda calculi with continuous probabilistic choice
• A curry-style semantics of interaction: from untyped to second-order lazy -calculus
• Complete trace models of state and control
• Infinite trace equivalence
• Normal form simulation for McCarthy's \textsf{amb}
• A Complete, Co-inductive Syntactic Theory of Sequential Control and State
• scientific article; zbMATH DE number 1330448 (Why is no real title available?)
• Proving soundness of extensional normal-form bisimilarities
• Bisimulations for delimited-control operators
• From applicative to environmental bisimulation
• Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts
• Effectful normal form bisimulation
• From bounded checking to verification of equivalence via symbolic up-to techniques
• Fully abstract normal form bisimulation for call-by-value PCF
• Pushdown normal-form bisimulation: a nominal context-free approach to program equivalence
• A logical approach to type soundness
• On the observational theory of the CPS-calculus

This page was built for publication: Typed Normal Form Bisimulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608419)