Pages that link to "Item:Q265811"
From MaRDI portal
The following pages link to Coinductive predicates and final sequences in a fibration (Q265811):
Displayed 7 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)