Linear logic in theoretical computer science
4РП — Обучение и мобилност на изследователи
- Период
- 1998-05-01 → 2002-10-31
- Финансиране от ЕС
- —
- Участници
- 7
- Схема
- NET
Линиите свързват координатора с партньорите.
Участници
- CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE · PARISКоординаторФранция
- UNIVERSITA DEGLI STUDI DI ROMA TRE · ROMAИталия
- UNIVERSITY OF EDINBURGH · EDINBURGHОбединеното кралство
- Universidade de Lisboa · LisboaПортугалия
- University of Cambridge · CambridgeОбединеното кралство
- Università degli Studi di Bologna · BolognaИталия
- Université de Paris VII · ParisФранция
Връзки
Данни: CORDIS, © Европейски съюз