Buchumschlag

Dependent Multiplicities in Dependent Linear Type Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Doré, Maximilian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

A Graded Modal Dependent Type Theory with Erasure, Formalized
von: Abel, Andreas, et al.
Veröffentlicht: (2026)

Syntax and Semantics of Linear Dependent Types
von: Vákár, Matthijs
Veröffentlicht: (2014)

Foundations of Substructural Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2024)

Dependent Type Refinements for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2023)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2024)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2026)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
von: Matsuoka, Satoshi
Veröffentlicht: (2026)

WebPie: A Tiny Slice of Dependent Typing
von: Scholliers, Christophe
Veröffentlicht: (2024)

Type Theory With Erasure
von: Theocharis, Constantine, et al.
Veröffentlicht: (2026)

Linear Contextual Metaprogramming and Session Types
von: Ângelo, Pedro, et al.
Veröffentlicht: (2024)

Layered Modal Type Theories
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2023)

Automating Boundary Filling in Cubical Type Theories
von: Doré, Maximilian, et al.
Veröffentlicht: (2024)

Primitive Recursive Dependent Type Theory
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
von: Rustenholz, Louis, et al.
Veröffentlicht: (2024)

Polynomial Universes in Homotopy Type Theory
von: Aberlé, C. B., et al.
Veröffentlicht: (2024)

Orthologic Type Systems
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

Type-Based Termination for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2021)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

Linearization via Rewriting (Long Version)
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2025)

Termination Analysis of Linear-Constraint Programs
von: Ben-Amram, Amir M., et al.
Veröffentlicht: (2025)

Types, equations, dimensions and the Pi theorem
von: Botta, Nicola, et al.
Veröffentlicht: (2023)

Typed compositional quantum computation with lenses
von: Garrigue, Jacques, et al.
Veröffentlicht: (2023)

From Semantics to Syntax: A Type Theory for Comprehension Categories
von: Najmaei, Niyousha, et al.
Veröffentlicht: (2025)

Hybrid Intersection Types for PCF (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Monadic Intersection Types, Relationally (Extended Version)
von: Gavazzo, Francesco, et al.
Veröffentlicht: (2024)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
von: Accattoli, Beniamino
Veröffentlicht: (2022)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
von: Giusti, Giulia, et al.
Veröffentlicht: (2025)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
von: Vollmer, Victoria, et al.
Veröffentlicht: (2024)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
von: Akshay, S., et al.
Veröffentlicht: (2026)

GATlab: Modeling and Programming with Generalized Algebraic Theories
von: Lynch, Owen, et al.
Veröffentlicht: (2024)

A Type System for Data Flow and Alias Analysis in ReScript
von: Lund, Nicky Ask, et al.
Veröffentlicht: (2024)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2024)

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
von: Congard, Sidney, et al.
Veröffentlicht: (2025)