Coinduction All the Way Up
From MaRDI portal
Publication:4635886
Recommendations
Cited in
(27)- Companions, codensity and causality
- Companions, causality and codensity
- Corecursion up-to via causal transformations
- Bisimulation and coinduction enhancements: a historical perspective
- Into the Infinite - Theory Exploration for Coinduction
- (Co)inductive proof systems for compositional proofs in reachability logic
- Up-to techniques for behavioural metrics via fibrations
- Up-to techniques for branching bisimilarity
- Divergence and unique solution of equations
- Shall we juggle, coinductively?
- Bisimulations for delimited-control operators
- Tower induction and up-to techniques for CCS with fixed points
- Coinduction in Flow: The Later Modality in Fibrations
- Diacritical companions
- scientific article; zbMATH DE number 7407797 (Why is no real title available?)
- Compositional coinduction with sized types
- (Towards a) statistical probabilistic lazy lambda calculus
- Coinductive Proof Principles for Stochastic Processes
- Up-to techniques for behavioural metrics via fibrations
- On the key dependent message security of the Fujisaki-Okamoto constructions
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
- scientific article; zbMATH DE number 7559481 (Why is no real title available?)
- Divergence and unique solution of equations
- Coinductive algorithms for Büchi automata
- scientific article; zbMATH DE number 7649887 (Why is no real title available?)
- From bounded checking to verification of equivalence via symbolic up-to techniques
- Friends with benefits. Implementing corecursion in foundational proof assistants
This page was built for publication: Coinduction All the Way Up
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635886)