2 Dec 2009 10:00 - 11:00 Lecture The lambda-calculus: reductions, causality and determinism Gérard Berry Thinking, modeling and mastering computer calculation 2 Dec 2009 10:00 - 11:00 Share Facebook X (ex-Twitter) Linkedin Copy url Audio-visual RSS
Wednesday 2 December 2009 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot Open to all 10:00 - 11:00 Skip youtube video player Video URL Documents and media Download support pdf (276.71 KB) 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 11:00 - 12:00 Calculability : machines, languages and functions (2) Gérard Berry 25 Nov 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Nov 2009 11:00 - 12:00 Next event in the series Seminar 11:00 - 12:00 Lambda-calculus, logic and linguistics Gérard Huet 02 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Dec 2009 11:00 - 12:00
Lecture 11:00 - 12:00 Calculability : machines, languages and functions (2) Gérard Berry 25 Nov 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Nov 2009 11:00 - 12:00
Seminar 11:00 - 12:00 Lambda-calculus, logic and linguistics Gérard Huet 02 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Dec 2009 11:00 - 12:00