Interaction Graphs: Exponentials - Archive ouverte HAL
Article Dans Une Revue Logical Methods in Computer Science Année : 2019

Interaction Graphs: Exponentials

Fichier non déposé

Dates et versions

hal-02345568 , version 1 (04-11-2019)

Identifiants

Citer

Thomas Seiller. Interaction Graphs: Exponentials. Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(3:25)2019}⟩. ⟨hal-02345568⟩
37 Consultations
0 Téléchargements

Altmetric

Partager

More