Communication Dans Un Congrès
Année : 2015
Philippe de Groote : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01188612
Soumis le : lundi 31 août 2015-11:38:50
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : hal-01188612 , version 1
Citer
Philippe de Groote. Proof-Theoretic Aspects of the Lambek-Grishin Calculus. Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, 2015, Bloomington, United States. pp.109--123. ⟨hal-01188612⟩
Collections
97
Consultations
0
Téléchargements