A categorical framework for congruence of applicative bisimilarity in higher-order languages
From MaRDI portal
Publication:5043601
DOI10.46298/LMCS-18(3:37)2022OpenAlexW4213477957MaRDI QIDQ5043601FDOQ5043601
Lafont Ambroise, Hirschowitz Tom
Publication date: 6 October 2022
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2103.16833
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sheaves in geometry and logic: a first introduction to topos theory
- Bisimulation from open maps
- Bisimulation can't be traced
- Categorical fixed point calculus
- A calculus of mobile processes. I
- Introduction to bicategories
- Bisimilarity as a theory of functional programming
- Proving congruence of bisimulation in functional programming languages
- Yoneda structures from 2-toposes
- Skew-monoidal categories and bialgebroids.
- The \(\pi\)-calculus: A theory of mobile processes
- Compositional SOS and beyond: A coalgebraic view of open systems
- Relative full completeness for bicategorical Cartesian closed structure
- Elementary observations on 2-categorical limits
- Full abstraction in the lazy lambda calculus
- Logical relations for monadic types
- Double bicategories and double cospans
- On the construction of free algebras for equational systems
- The lazy lambda calculus in a concurrency scenario
- Connected limits, familial representability and Artin glueing
- Programming Languages and Systems
- A left adjoint construction related to free triples
- Howe's method for higher-order languages
- Howe's Method for Contextual Semantics
- Algebraic models of simple type theories
- List Objects with Algebraic Structure
- Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure
- Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
- Shapely monads and analytic functors
- A Cellular Howe Theorem
- Effectful normal form bisimulation
Cited In (1)
Recommendations
- Towards general axiomatizations for bisimilarity and trace semantics 👍 👎
- An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras 👍 👎
- Deriving bisimulation congruences: a 2-categorical approach 👍 👎
- Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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)
