02 déc 2009 11:00 à 12:00 Séminaire Lambda-calcul, logique et linguistique Gérard Huet Penser, modéliser et maîtriser le calcul informatique 02 déc 2009 11:00 à 12:00 Partager Facebook X (ex-Twitter) Linkedin Copier le lien Flux RSS Audiovisuel
Mercredi 2 décembre 2009 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 11:00 - 12:00 Sauter le player vidéo Youtube URL de la vidéo Documents et médias Télécharger le support pdf (254.2 Ko) Intervenant(s) Gérard Huet Voir aussi Cours en relation avec le séminaire : Penser, modéliser et maîtriser le calcul informatique Gérard Berry, chaire Informatique et sciences numériques Penser, modéliser et maîtriser le calcul informatique Événements Événement Précédent dans le cycle Cours 10:00 - 11:00 Le lambda-calcul : réductions, causalité et déterminisme Gérard Berry 02 déc 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 déc 2009 10:00 - 11:00 Événement Suivant dans le cycle Cours 10:00 - 11:00 Sémantiques, information et points fixes Gérard Berry 09 déc 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 déc 2009 10:00 - 11:00
Cours 10:00 - 11:00 Le lambda-calcul : réductions, causalité et déterminisme Gérard Berry 02 déc 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 déc 2009 10:00 - 11:00
Cours 10:00 - 11:00 Sémantiques, information et points fixes Gérard Berry 09 déc 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 déc 2009 10:00 - 11:00