| Description : |
My overall aim in this talk is to discuss interactions between the
algebraic modelling of formal languages and the general theory of operads. In particular, I would like to show that the language
constructs of variable binding and metavariables, and the language
features of linearity and dependency lead both to the consideration of operads with algebraic structure and to new notions of operad. (A general pointer for the talk is <http://www.cl.cam.ac.uk/~mpf23/talks/CT2007.pdf>.)
|
| Equipe organisatrice : |
Algèbre Topologie et Géométrie |
| Jury (Thèse / HDR) : |
|
| Orateur : |
Marcelo Fiore |
| Titre (Thèse / HDR) : |
|
| Université Orateur : |
Cambridge |
| URL Orateur : |
http://www.cl.cam.ac.uk/~mpf23/ |
| Ressource : |
Laboratoire J.A.Dieudonné - Salle 3 |
| Date de début : |
14:00 - vendredi 18 juin 2010 |
| Durée : |
1 heure(s) |
| Date de fin : |
15:00 - vendredi 18 juin 2010 |
| Type : |
Séminaire |
| Réservation effectuée par : |
|
| Dernière mise à jour : |
10:10 - jeudi 17 juin 2010 |