Imagen de Portada

A Category-Theoretic Framework for Dependent Effect Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kura, Satoshi, Gaboardi, Marco, Sekiyama, Taro, Unno, Hiroshi
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
por: Kura, Satoshi, et al.
Publicado: (2024)

A Hierarchy of Supermartingales for $ω$-Regular Verification
por: Kura, Satoshi, et al.
Publicado: (2025)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
por: Kura, Satoshi, et al.
Publicado: (2025)

On Complete Categorical Semantics for Effect Handlers
por: Kura, Satoshi
Publicado: (2026)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
por: Kura, Satoshi
Publicado: (2023)

Formal Verification of Probing Security via Conditional Independence
por: Kura, Satoshi, et al.
Publicado: (2026)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Logical relations for call-by-push-value models, via internal fibrations in a 2-category
por: de Amorim, Pedro H. Azevedo, et al.
Publicado: (2025)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
por: Pollaci, Samuele
Publicado: (2025)

Domain Reasoning in TopKAT
por: Zhang, Cheng, et al.
Publicado: (2024)

Cryptis: Cryptographic Reasoning in Separation Logic
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
por: Pollaci, Samuele, et al.
Publicado: (2024)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
por: Tsukada, Takeshi, et al.
Publicado: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

On the Axioms of Arboreal Categories
por: Jakl, Tomáš, et al.
Publicado: (2026)

Linear Arboreal Categories
por: Abramsky, Samson, et al.
Publicado: (2023)

A Category Theoretic Approach to Approximate Game Theory
por: Ghani, Neil
Publicado: (2025)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
por: Peressotti, Marco
Publicado: (2025)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
por: Kihara, Takayuki
Publicado: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
por: Abramsky, Samson, et al.
Publicado: (2021)

On Categories of Nested Conditions
por: Rensink, Arend, et al.
Publicado: (2024)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
por: Zhang, Cheng, et al.
Publicado: (2026)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
por: Faella, Marco, et al.
Publicado: (2024)

Promonads and String Diagrams for Effectful Categories
por: Román, Mario
Publicado: (2022)

(Pointed) Univalence in Universe Category Models of Type Theory
por: Kapulkin, Chris, et al.
Publicado: (2025)

Dependence Logics in Temporal Settings
por: Baltag, Alexandru, et al.
Publicado: (2022)

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

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

A Dependency Pair Framework for Relative Termination of Term Rewriting
por: Kassing, Jan-Christoph, et al.
Publicado: (2024)

String Diagrams for Monoidal Categories, in Rocq
por: Pous, Damien
Publicado: (2026)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
por: Sabelli, Pietro
Publicado: (2024)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
por: Koul, Prajval, et al.
Publicado: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
por: Geuvers, Herman
Publicado: (2026)

Aczel-Mendler Bisimulations in a Regular Category
por: Dubut, Jeremy
Publicado: (2023)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
por: Bilotta, Antonella
Publicado: (2025)

Categorical Proof-Theoretic Semantics
por: Pym, David, et al.
Publicado: (2023)

A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
por: Genco, Francesco A.
Publicado: (2024)

Proceedings Seventh International Conference on Applied Category Theory 2024
por: Johnson, Michael, et al.
Publicado: (2025)