Cover Image

Coco: Corecursion with Compositional Heterogeneous Productivity

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kim, Jaewoo, Nam, Yeonwoo, Hur, Chung-Kil
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cyclic Proofs for iGL via Corecursion
by: Miranda, Borja Sierra
Published: (2023)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
by: Foster, Simon, et al.
Published: (2024)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
by: Han, Sangjun, et al.
Published: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
by: Incer, Inigo
Published: (2024)

Compositional Confluence Criteria
by: Shintani, Kiraku, et al.
Published: (2023)

Compositional Reversible Computation
by: Carette, Jacques, et al.
Published: (2024)

Compositional Control-Driven Boolean Circuits
by: Arellanes, Damian
Published: (2025)

Compositional Value Iteration with Pareto Caching
by: Watanabe, Kazuki, et al.
Published: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
by: Mertens, Hannah, et al.
Published: (2026)

Compositional Taylor expansion in cartesian differential categories
by: Walch, Aymeric
Published: (2025)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
by: van der Vegt, Marck, et al.
Published: (2025)

Colimit-Based Composition of High-Level Computing Devices
by: Arellanes, Damian
Published: (2026)

Extended Resolution Clause Learning via Dual Implication Points
by: Buss, Sam, et al.
Published: (2024)

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
by: Blechschmidt, Paula
Published: (2025)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
by: Dardik, Ian, et al.
Published: (2025)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
by: Bombardelli, Alberto, et al.
Published: (2023)

Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas
by: Palmieri, Stefano
Published: (2026)

Compositional pre-processing for automated reasoning in dependent type theory
by: Blot, Valentin, et al.
Published: (2022)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
by: D'Angelo, Keri, et al.
Published: (2024)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
by: Watanabe, Kazuki
Published: (2024)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2026)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
by: Watanabe, Kazuki, et al.
Published: (2024)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
by: Nemati, Hamed, et al.
Published: (2025)

A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems
by: Kundu, Atanu, et al.
Published: (2025)

A No-go Theorem for Coalgebraic Product Construction
by: Kori, Mayuko, et al.
Published: (2025)

Equational Theorem Proving for Clauses over Strings
by: Kim, Dohan
Published: (2023)

Congruence Closure Modulo Groups
by: Kim, Dohan
Published: (2023)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
by: Watanabe, Kazuki, et al.
Published: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
by: Mertens, Hannah, et al.
Published: (2025)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
by: Watanabe, Kazuki, et al.
Published: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)