Pierre Lescanne
Pierre Lescanne, né à Dakar le , est un chercheur français en logique et informatique théorique.
Biographie
Professeur à l'ENS de Lyon, il est considéré comme un spécialiste de la réécriture et du lambda-calcul.
Ses thèmes de recherche sont actuellement la logique, la théorie des types, la logique de la connaissance ainsi que la théorie des jeux appliquée à la biologie[1].
Distingué par la médaille d'argent du CNRS au titre de sa fonction de co-directeur de l'équipe Eureca en 1986-1987, une journée d'études a été organisée en son honneur le au Loria, à Nancy[2].
Références
Liens externes
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- Bibliothèque nationale de France (données)
- Système universitaire de documentation
- Bibliothèque du Congrès
- Gemeinsame Normdatei
- Bibliothèque royale des Pays-Bas
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- Base de bibliothèque norvégienne
- WorldCat
- Page personnelle de Pierre Lescanne.
Portail de la logique 
Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.