Coinductive predicates and final sequences in a fibration
From MaRDI portal
Publication:4606703
DOI10.1017/S0960129517000056zbMath1386.68103MaRDI QIDQ4606703
Kenta Cho, Ichiro Hasuo, Toshiki Kataoka
Publication date: 9 March 2018
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Categories of machines, automata (18B20)
Related Items
Preservation and reflection of bisimilarity via invertible steps ⋮ Unnamed Item ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic ⋮ Corecursion up-to via causal transformations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coinductive predicates and final sequences in a fibration
- Algebraic lattices and locally finitely presentable categories
- On the final sequence of a finitary set functor
- Maximal traces and path-based coalgebraic temporal logics
- A congruence rule format for name-passing process calculi
- Sheaves in geometry and logic: a first introduction to topos theory
- Constructive versions of Tarski's fixed point theorems
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- On final coalgebras of continuous functors
- Universal coalgebra: A theory of systems
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
- Comparing operational models of name-passing process calculi
- Automata and fixed point logic: a coalgebraic perspective
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Lattice-theoretic progress measures and coalgebraic model checking
- Inductive and Coinductive Components of Corecursive Functions in Coq
- Modular Games for Coalgebraic Fixed Point Logics
- Fibrational Induction Meets Effects
- A Coalgebraic Perspective on Minimization and Determinization
- The power of parameterization in coinductive proof
- Checking NFA equivalence with bisimulations up to congruence
- Relating coalgebraic notions of bisimulation
- Generic Forward and Backward Simulations II: Probabilistic Simulation
- Terminal Sequence Induction via Games
- EXPTIME Tableaux for the Coalgebraic μ-Calculus
- Algebraic laws for nondeterminism and concurrency
- Accessible Categories: The Foundations of Categorical Model Theory
- Coinduction up-to in a fibrational setting
- Coalgebraic Modal Logic Beyond Sets
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
- A Categorical Model of the Fusion Calculus
- Generic Trace Semantics via Coinduction
- Indexed Induction and Coinduction, Fibrationally
- Applications of Metric Coinduction
