wendy hammache

Wendy Hammache

Wendy Hammache

Titre de thèse :
Contrôle du calcul et limites du sens. Émergence et métamorphoses de la notion de calcul typé : fonctions, calcul et types de G. Frege à A. Church
Directeur de thèse :
JOINET Jean-Baptiste
Thèmes de recherche :
Types, théorie des types, lambda-calcul, fonctions, signification computationnelle.
Publications :

Séminaires :
  • Séminaire "Logique, Mathématiques, Informatique, Raisonnement", IRPHIL, Université Jean Moulin Lyon 3 (co-organisation)
  • Séminaire Hexis, séminaire de théorie de la connaissance, IRPHIL, Université Jean Moulin Lyon 3 (co-organisation) 2017-2018
Communications :
  • « Inquiry into meaningfulness: from Russell’s to Church’s type theories » au colloque « Indiscernibility & abstraction: classification and types ». Lyon, 21-22 novembre 2019
  • « Meaning in computation: on intersection type systems », séminaire « Histoire et Philosophie du Calcul » de l’IHPST, séance « Fonctions, Machines, Algorithmes ». Paris, 9 janvier 2019
  • « Lambda-calcul et types : origines logiques, postérité computationnelle » au colloque « Le même et l’autre : identité, orthogonalité, types ». Lyon, 5-6 novembre 2018
  • « Lambda-calculus: from logic to computation » au colloque « PROGRAMme - Autumn workshop: formalisms at the interface with machines, languages and systems ». Bertinoro (Italie), 16-17 octobre 2018
  • « Thinking the notion of function in Logic in the 20th century » au colloque « Computing, Logic and Types ». Mirantão (Brésil) du 3 au 6 juillet 2016 (orga. Univ Lyon 3 et PUC-Rio de Janeiro)
Courriel :
wendy.hammache1@univ-lyon3.fr