:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Passarelli, Angelo, Ferrari, Gian-Luigi
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2502.14465
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

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

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

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

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

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

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

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

Inferentialist Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

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

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

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

Regular Typed Unification
by: Barbosa, João, et al.
Published: (2024)

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

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

Open Horn Type Theory
by: Poernomo, Iman
Published: (2025)

The Transpension Type: Technical Report
by: Nuyts, Andreas
Published: (2020)

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

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

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

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

Quantitative Types for the Functional Machine Calculus
by: Heijltjes, Willem
Published: (2025)

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

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