Linear logic in theoretical computer science
FP4 — Training and Mobility of Researchers
- Duration
- 1998-05-01 → 2002-10-31
- EU contribution
- —
- Participants
- 7
- Scheme
- NET
Lines connect the coordinator with its partners.
Participants
- CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE · PARISCoordinatorFrance
- UNIVERSITA DEGLI STUDI DI ROMA TRE · ROMAItaly
- UNIVERSITY OF EDINBURGH · EDINBURGHUnited Kingdom
- Universidade de Lisboa · LisboaPortugal
- University of Cambridge · CambridgeUnited Kingdom
- Università degli Studi di Bologna · BolognaItaly
- Université de Paris VII · ParisFrance
Links
Data: CORDIS, © European Union