Pierre Lescanne.html |
| | | ca | | | de | | | en | | | es | | | fr | | | it | | | nl | | | no | | | pl | | | pt | | | ru | | | ro | | | fi | | | sv | | | tr | | | vo | | |
| |  |
 |
Cet article est une ébauche concernant une personne.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
Pierre Lescanne (né à Dakar le 22 mars 1947) est un chercheur français en informatique théorique. Il est Professeur à l'ENS de Lyon. Il est considéré comme un spécialiste de la réécriture et du lambda-calcul1.
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 biologie2.
