FP5Individual fellowship2001–2003
Formal development of computer algebra in type theory
FP5 — Improving Human Research Potential
- Duration
- 2001-11-01 → 2003-10-31
- EU contribution
- €118,400
- Participants
- 1
- Scheme
- RGI
Lines connect the coordinator with its partners.
Participants
- INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA · SOPHIA ANTIPOLISCoordinatorFrance
Links
Data: CORDIS, © European Union