Pages that link to "Item:Q3498446"
From MaRDI portal
The following pages link to Complete Lattices and Up-To Techniques (Q3498446):
Displaying 22 items.
- A general account of coinduction up-to (Q523132) (← links)
- Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Diacritical companions (Q2133161) (← links)
- Fixpoint theory -- upside down (Q2233395) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- (Q3121528) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Q5028460) (← links)
- (Q5089290) (← links)
- (Q5094151) (← links)
- (Q5155688) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- (Q5377471) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Fixpoint Theory -- Upside Down (Q6135764) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)
