Imagen de Portada

Coverage Types for Resource-Based Policies

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Passarelli, Angelo, Ferrari, Gian-Luigi
Formato:	Preprint
Publicado:	2025
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

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

Bijective proofs for Eulerian numbers of types B and D
por: Santocanale, Luigi
Publicado: (2021)

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

Policies for Fair Exchanges of Resources
por: Ceragioli, Lorenzo, et al.
Publicado: (2024)

On Small Types in Univalent Foundations
por: de Jong, Tom, et al.
Publicado: (2021)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
por: Ceragioli, Lorenzo, et al.
Publicado: (2024)

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

Basis-Sensitive Quantum Typing via Realisability
por: Díaz-Caro, Alejandro, et al.
Publicado: (2025)

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

Linear Contextual Metaprogramming and Session Types
por: Ângelo, Pedro, et al.
Publicado: (2024)

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

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

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

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

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
por: Takahashi, Yuta
Publicado: (2024)

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

Groupoidal Realizability for Intensional Type Theory
por: Speight, Sam
Publicado: (2024)

Impredicative Encodings of (Higher) Inductive Types
por: Awodey, Steve, et al.
Publicado: (2018)

Coslice Colimits in Homotopy Type Theory
por: Hart, Perry, et al.
Publicado: (2024)

Principal Typing for Intersection Types, Forty-Five Years Later
por: Pautasso, Daniele, et al.
Publicado: (2026)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
por: Derakhshan, Farzaneh, et al.
Publicado: (2024)

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

Base-extension Semantics for Modal Logic
por: Eckhardt, Timo, et al.
Publicado: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
por: Buzoku, Yll, et al.
Publicado: (2025)

Regular Typed Unification
por: Barbosa, João, et al.
Publicado: (2024)

Type-Based Termination for Futures
por: Somayyajula, Siva, et al.
Publicado: (2021)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
por: Colledan, Andrea, et al.
Publicado: (2024)

Parametric Iteration in Resource Theories
por: Di Giorgio, Alessandro, et al.
Publicado: (2025)

Resource approximation for the $λμ$-calculus
por: Barbarossa, Davide
Publicado: (2024)

Open Horn Type Theory
por: Poernomo, Iman
Publicado: (2025)

The Transpension Type: Technical Report
por: Nuyts, Andreas
Publicado: (2020)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
por: De Domenico, Andrea, et al.
Publicado: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Strategies as Resource Terms, and their Categorical Semantics
por: Blondeau-Patissier, Lison, et al.
Publicado: (2023)

Quantitative Types for the Functional Machine Calculus
por: Heijltjes, Willem
Publicado: (2025)

Cubical Type Theoretic Navya-Nyāya
por: Panday, Mrityunjoy, et al.
Publicado: (2026)

Are Dependent Types in Set Theory Feasible?
por: Yang, Yunsong, et al.
Publicado: (2026)

Inferentialist Resource Semantics
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

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