A categorical framework for congruence of applicative bisimilarity in higher-order languages
From MaRDI portal
Publication:5043601
Recommendations
- Deriving bisimulation congruences: a 2-categorical approach
- scientific article; zbMATH DE number 1305004
- Bisimulational categoricity
- scientific article; zbMATH DE number 2059571
- Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)
- scientific article; zbMATH DE number 1956527
- Bisimulations and unfolding in P-accessible categorical models
- scientific article; zbMATH DE number 860036
- An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras
- Towards general axiomatizations for bisimilarity and trace semantics
Cites work
- scientific article; zbMATH DE number 2125667 (Why is no real title available?)
- scientific article; zbMATH DE number 7449991 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3611531 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 7577567 (Why is no real title available?)
- scientific article; zbMATH DE number 5934744 (Why is no real title available?)
- scientific article; zbMATH DE number 5256216 (Why is no real title available?)
- A Cellular Howe Theorem
- A calculus of mobile processes. I
- A left adjoint construction related to free triples
- Algebraic models of simple type theories. A polynomial approach
- Bisimilarity as a theory of functional programming
- Bisimulation can't be traced
- Bisimulation from open maps
- Categorical fixed point calculus
- Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
- Compositional SOS and beyond: A coalgebraic view of open systems
- Connected limits, familial representability and Artin glueing
- Double bicategories and double cospans
- Effectful applicative bisimilarity: monads, relators, and Howe's method
- Effectful normal form bisimulation
- Elementary observations on 2-categorical limits
- Full abstraction in the lazy lambda calculus
- Howe's method for contextual semantics
- Howe's method for higher-order languages
- Introduction to bicategories
- List Objects with Algebraic Structure
- Logical relations for monadic types
- Monoidal company for accessible functors
- On the construction of free algebras for equational systems
- Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020
- Programming Languages and Systems
- Proving congruence of bisimulation in functional programming languages
- Relative full completeness for bicategorical Cartesian closed structure
- Shapely monads and analytic functors
- Sheaves in geometry and logic: a first introduction to topos theory
- Skew-monoidal categories and bialgebroids.
- The \(\pi\)-calculus: A theory of mobile processes
- The lazy lambda calculus in a concurrency scenario
- Yoneda structures from 2-toposes
This page was built for publication: A categorical framework for congruence of applicative bisimilarity in higher-order languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5043601)
