2 Dec 2009 11:00 - 12:00 Seminar Lambda-calculus, logic and linguistics Gérard Huet Thinking, modeling and mastering computer calculation 2 Dec 2009 11:00 - 12: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 11:00 - 12:00 Skip youtube video player Video URL Documents and media Download support pdf (254.2 KB) Speaker(s) Gérard Huet 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 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 Next 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
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 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