Pages that link to "Item:Q1275820"
From MaRDI portal
The following pages link to Structural induction and coinduction in a fibrational setting (Q1275820):
Displaying 50 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)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Extensional quotient coalgebras (Q1750071) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)
- Comprehension for Coalgebras (Q2842555) (← links)
- Greatest Bisimulations for Binary Methods (Q2842564) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- A Categorical Setting for Lower Complexity (Q3178259) (← links)
- Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
- A Note on Hyperspaces and Terminal Coalgebras (Q4256321) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- Generalized Eilenberg Theorem (Q4617980) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- Process Calculi à la Bird-Meertens (Q4917032) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- Modal Languages for Coalgebras in a Topological Setting (Q4917043) (← links)
- Bialgebraic Semantics and Recursion (Q4917044) (← links)
