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
- « 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
À télécharger
Adresse postale unique
Adresse postale de l'Université Jean Moulin
(hors campus de Bourg-en-Bresse)
1C avenue des Frères Lumière
CS 78242
69372 Lyon Cedex 08
(hors campus de Bourg-en-Bresse)
1C avenue des Frères Lumière
CS 78242
69372 Lyon Cedex 08
Mise à jour : 16 décembre 2019