Cover Image

Parametric Iteration in Resource Theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Di Giorgio, Alessandro, Sobocinski, Pawel, Voorneveld, Niels
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

Diagrammatic Polyhedral Algebra
by: Bonchi, Filippo, et al.
Published: (2021)

Protocol Choice and Iteration for the Free Cornering
by: Nester, Chad, et al.
Published: (2023)

The calculus of neo-Peircean relations
by: Bonchi, Filippo, et al.
Published: (2025)

Diagrammatic Algebra of First Order Logic
by: Bonchi, Filippo, et al.
Published: (2024)

Monoidal Width
by: Di Lavore, Elena, et al.
Published: (2022)

Dynamics and Coherence for the Free Cornering with Protocol Choice
by: Nester, Chad, et al.
Published: (2025)

Modal Logic for Distributed Trust
by: Voorneveld, Niels, et al.
Published: (2026)

A Simple Categorical Calculus of Interacting Processes
by: Nester, Chad, et al.
Published: (2026)

Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2025)

Order in Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2025)

A Diagrammatic Basis for Computer Programming
by: Bonchi, Filippo, et al.
Published: (2025)

A Diagrammatic Algebra for Program Logics
by: Bonchi, Filippo, et al.
Published: (2024)

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

String Diagrams for Closed Symmetric Monoidal Categories
by: Reader, Callum, et al.
Published: (2025)

Nominal Type Theory by Nullary Internal Parametricity
by: Van Muylder, Antoine, et al.
Published: (2025)

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

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
by: Bonchi, Filippo, et al.
Published: (2024)

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

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

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

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

T-BAT semantics and its logics
by: Pawlowski, Pawel
Published: (2025)

Parametric disjunctive timed networks
by: André, Étienne, et al.
Published: (2025)

Parametric equations for temporal style assertions
by: Yodaiken, Victor
Published: (2016)

From Actions to Obligations: A Deontic Action Model Logic
by: Cignarale, Giorgio
Published: (2026)

The Algebra of Iterative Constructions
by: Batz, Kevin, et al.
Published: (2026)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

A Foundation for Differentiable Logics using Dependent Type Theory
by: Affeldt, Reynald, et al.
Published: (2026)

Tabular intermediate logics comparison
by: Rzążewski, Paweł, et al.
Published: (2025)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)