Resource Categories from Differential Categories - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2024

Resource Categories from Differential Categories

Résumé

Resource categories were recently introduced to capture the categorical structure of pointer concurrent games, and in particular to characterize morphisms behaving "linearly". These linear morphisms correspond to (beta-normal, etaexpanded) terms of the resource lambda-calculus. Resource calculus is closely related to Erhrard and Regnier's differential lambda-calculus, which is usually interpreted in differential categories (defined by Blute, Cockett, Lemay and Seely). However, strategies of pointer concurrent games are not built from a model of linear logic, so their categorical structure is not a differential category. Nevertheless, resource categories can be constructed from differential categories. We present such a construction in this paper, starting from an additive monoidal category and building a resource category from it.
Fichier principal
Vignette du fichier
jfla2024-paper-38.pdf (524.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04406440 , version 1 (19-01-2024)

Identifiants

  • HAL Id : hal-04406440 , version 1

Citer

Lison Blondeau-Patissier. Resource Categories from Differential Categories. 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France. ⟨hal-04406440⟩
71 Consultations
111 Téléchargements

Partager

More