Pages that link to "Item:Q1275820"
From MaRDI portal
The following pages link to Structural induction and coinduction in a fibrational setting (Q1275820):
Displaying 17 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Safe recursion revisited. I: Categorical semantics for lower complexity (Q386608) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Simulations in coalgebra (Q703522) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Extensional quotient coalgebras (Q1750071) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- The Lattice-Theoretic Essence of Property Directed Reachability Analysis (Q6487318) (← links)
