Communication Dans Un Congrès
Année : 2015
Luc Pellissier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01298563
Soumis le : mercredi 6 avril 2016-11:16:06
Dernière modification le : vendredi 24 mars 2023-14:53:02
Dates et versions
Identifiants
- HAL Id : hal-01298563 , version 1
Citer
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Injectivity of relational semantics with respect to MELL proof-nets and the Taylor expansion. 8th International Conference on Topology, Algebra and Categories in Logic, Jun 2015, Ischia, Italy. ⟨hal-01298563⟩
Collections
47
Consultations
0
Téléchargements