- 1
NT
Nicolas Tabareau
1
Documents
Présentation
Publications
- 1
|
Linear logic as a foundation for service-oriented computing2010
Pré-publication, Document de travail
inria-00473854v2
|