Bisimilarity as a theory of functional programming
From MaRDI portal
Recommendations
Cited in
(17)- A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
- On the observational theory of the CPS-calculus
- Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus
- Bisimulations for delimited-control operators
- Amb Breaks Well-Pointedness, Ground Amb Doesn't
- p-adic physics, non-well-founded reality and unconventional computing
- Observational program calculi and the correctness of translations
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- From applicative to environmental bisimulation
- Logical predicates in higher-order mathematical operational semantics
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State
- Operational domain theory and topology of sequential programming languages
- Reasoning about multi-stage programs
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Asymptotic speedups, bisimulation and distillation (work in progress)
- On generic context lemmas for higher-order calculi with sharing
This page was built for publication: Bisimilarity as a theory of functional programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1575889)
