Models of linear logic based on the Schwartz epsilon-product - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theory and Applications of Categories Année : 2019

Models of linear logic based on the Schwartz epsilon-product

Yoann Dabrowski
  • Fonction : Auteur
  • PersonId : 944213
Fichier non déposé

Dates et versions

hal-04136279 , version 1 (21-06-2023)

Identifiants

  • HAL Id : hal-04136279 , version 1

Citer

Yoann Dabrowski, Marie Kerjean. Models of linear logic based on the Schwartz epsilon-product. Theory and Applications of Categories, 2019, 34, pp.1440-1525. ⟨hal-04136279⟩
13 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More