| Description : |
these de Julianna Zsido |
| Equipe organisatrice : |
Algèbre Topologie et Géométrie |
| Jury (Thèse / HDR) : |
Curien, Fiore, Hirschowitz, Hyland, Pottier, Simpson |
| Orateur : |
Julianna Zsido |
| Titre (Thèse / HDR) : |
Typed Abstract Syntax |
| Université Orateur : |
|
| URL Orateur : |
|
| Ressource : |
Laboratoire J.A.Dieudonné - Salle de conférence |
| Date de début : |
10:30 - lundi 21 juin 2010 |
| Durée : |
3 heure(s) |
| Date de fin : |
13:30 - lundi 21 juin 2010 |
| Type : |
Thèse |
| Réservation effectuée par : |
|
| Dernière mise à jour : |
15:25 - jeudi 03 juin 2010 |