9 Dec 2009 11:00 - 12:00 Seminar From lambda-calculus to programming Jean-Jacques Lévy Thinking, modeling and mastering computer calculation 9 Dec 2009 11:00 - 12:00 Share Facebook X (ex-Twitter) Linkedin Copy url Audio-visual RSS
Wednesday 9 December 2009 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot Open to all 11:00 - 12:00 Skip youtube video player Video URL Documents and media Download support pdf (5.16 MB) Speaker(s) Jean-Jacques Lévy See also Lecture related to the seminar: Thinking, modeling and mastering computer calculation Gérard Berry, chair Computer Sciences and Digital Technologies Thinking, modeling and mastering computer calculation Events Previous event in the series Lecture 10:00 - 11:00 Semantics, information and fixed points Gérard Berry 09 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Dec 2009 10:00 - 11:00 Next event in the series Lecture 10:00 - 11:00 Automata and transition systems Gérard Berry 16 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Dec 2009 10:00 - 11:00
Lecture 10:00 - 11:00 Semantics, information and fixed points Gérard Berry 09 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Dec 2009 10:00 - 11:00
Lecture 10:00 - 11:00 Automata and transition systems Gérard Berry 16 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Dec 2009 10:00 - 11:00