Coinductive predicates and final sequences in a fibration
From MaRDI portal
Publication:4606703
Recommendations
- Coinductive predicates and final sequences in a fibration
- Indexed induction and coinduction, fibrationally
- Indexed induction and coinduction, fibrationally
- Structural induction and coinduction in a fibrational setting
- Coequational logic for finitary functors
- On the final sequence of a finitary set functor
- Logical construction of final coalgebras
- Recursive coalgebras of finitary functors
- Algebra and Coalgebra in Computer Science
- A note on expressive coalgebraic logics for finitary set functors
Cites work
- scientific article; zbMATH DE number 3544241 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1086721 (Why is no real title available?)
- scientific article; zbMATH DE number 2087427 (Why is no real title available?)
- A Coalgebraic Perspective on Minimization and Determinization
- A categorical model of the fusion calculus
- A congruence rule format for name-passing process calculi
- Accessible Categories: The Foundations of Categorical Model Theory
- Algebraic lattices and locally finitely presentable categories
- Algebraic laws for nondeterminism and concurrency
- Automata and fixed point logic: a coalgebraic perspective
- Categorical logic and type theory
- Checking NFA equivalence with bisimulations up to congruence
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
- Coalgebraic modal logic beyond sets
- Coinduction up-to in a fibrational setting
- Coinductive predicates and final sequences in a fibration
- Comparing operational models of name-passing process calculi
- Constructive versions of Tarski's fixed point theorems
- EXPTIME Tableaux for the Coalgebraic μ-Calculus
- Fibrational induction meets effects
- Generic Trace Semantics via Coinduction
- Generic forward and backward simulations. II: Probabilistic simulation
- Indexed induction and coinduction, fibrationally
- Inductive and coinductive components of corecursive functions in Coq
- Lattice-theoretic progress measures and coalgebraic model checking
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Maximal traces and path-based coalgebraic temporal logics
- Modal logics and mu-calculi: An introduction
- Modular games for coalgebraic fixed point logics
- On final coalgebras of continuous functors
- On the final sequence of a finitary set functor
- Relating coalgebraic notions of bisimulation
- Sheaves in geometry and logic: a first introduction to topos theory
- Structural induction and coinduction in a fibrational setting
- Terminal Sequence Induction via Games
- The power of parameterization in coinductive proof
- Trace semantics for coalgebras
- Universal coalgebra: A theory of systems
Cited in
(6)- Coinductive predicates and final sequences in a fibration
- Corecursion up-to via causal transformations
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- scientific article; zbMATH DE number 7471679 (Why is no real title available?)
- Preservation and reflection of bisimilarity via invertible steps
- Proving behavioural apartness
This page was built for publication: Coinductive predicates and final sequences in a fibration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4606703)
