The following pages link to Coinduction All the Way Up (Q4635886):
Displaying 23 items.
- (Co)inductive proof systems for compositional proofs in reachability logic (Q1996855) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Diacritical companions (Q2133161) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Friends with Benefits (Q2988636) (← links)
- Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Q5089290) (← links)
- (Q5111623) (← links)
- (Q5155688) (← links)
- Coinductive Algorithms for Büchi Automata (Q5158653) (← links)
- Divergence and unique solution of equations (Q5228882) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)
- (Q5377471) (← links)
- (Q5875344) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Into the Infinite - Theory Exploration for Coinduction (Q6108814) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- From bounded checking to verification of equivalence via symbolic up-to techniques (Q6535615) (← links)
- (Towards a) statistical probabilistic lazy lambda calculus (Q6612804) (← links)
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)