25 Nov 2009 11:00 - 12:00 Lecture Calculability : machines, languages and functions (2) Gérard Berry Thinking, modeling and mastering computer calculation 25 Nov 2009 11:00 - 12:00 Share Facebook X (ex-Twitter) Linkedin Copy url Audio-visual RSS
Wednesday 25 November 2009 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot Open to all 11:00 - 12:00 Skip youtube video player Video URL Speaker(s) Gérard Berry Professor at the Collège de France See also Seminar related to the lecture: 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 Calculability : machines, languages and functions (1) Gérard Berry 25 Nov 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Nov 2009 10:00 - 11:00 Next event in the series Lecture 10:00 - 11:00 The lambda-calculus: reductions, causality and determinism Gérard Berry 02 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Dec 2009 10:00 - 11:00
Lecture 10:00 - 11:00 Calculability : machines, languages and functions (1) Gérard Berry 25 Nov 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Nov 2009 10:00 - 11:00
Lecture 10:00 - 11:00 The lambda-calculus: reductions, causality and determinism Gérard Berry 02 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Dec 2009 10:00 - 11:00