Bonjour, Nous vous rappelons la prochaine séance du séminaire “Logique, Mathématiques, Informatique, Raisonnement” de l'Institut de Recherches Philosophiques de Lyon. Coordination : Jean-Baptiste Joinet, Simone Martini, Wendy Hammache, Yannis Hausberg.
*Mercredi 30 janvier* *18h30* *Felice Cardone* Professore associato, Dipartimento di Informatica - Università degli Studi di Torino *"How formulae became types"* Université Jean Moulin Lyon 3 Salle CH-201 18, rue Chevreul Lyon 7e *Résumé :* The Curry-Howard correspondence between constructive logical formulae and types for lambda-terms has a prehistory, a history and some promises of a future life. I will summarize the history of this correspondence focussing on some lesser known contributions, mostly from areas outside proof-theory, leading to a reappraisal of the Heyting-Kolmogorov interpretation of the intuitionistic logical constants. Informations actualisées : http://irphil.univ-lyon3.fr/seminaire-2018-19-logique-mathematiques-informatique-raisonnement-1179685.kjsp?RH=irphil2 L'accès au séminaire est libre. Bien cordialement, Wendy Hammache -- Pour toute question, la FAQ de la liste se trouve ici: https://www.vidal-rosset.net/