Pierre Lescanne

Pierre Lescanne
Pierre Lescanne

Pierre Lescanne (né à Dakar le 22 mars 1947) est un chercheur français en logique et informatique théorique. Professeur à l'ENS de Lyon, il est considéré comme un spécialiste de la réécriture et du lambda-calcul[1].

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[2].

Références

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Pierre Lescanne de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • 1947 — Années : 1944 1945 1946  1947  1948 1949 1950 Décennies : 1910 1920 1930  1940  1950 1960 1970 Siècles : XIXe siècle  XXe …   Wikipédia en Français

  • 1947 en science — Années : 1944 1945 1946  1947  1948 1949 1950 Décennies : 1910 1920 1930  1940  1950 1960 1970 Siècles : XIXe siècle  XXe siècl …   Wikipédia en Français

  • Interpretation (informatique) — Interprète (informatique) Pour les articles homonymes, voir Interprète et Interpréteur. Un interprète, ou interpréteur (voir infra), est un outil informatique ayant pour tâche d analyser, de traduire et d exécuter un programme écrit dans un… …   Wikipédia en Français

  • Interprete (informatique) — Interprète (informatique) Pour les articles homonymes, voir Interprète et Interpréteur. Un interprète, ou interpréteur (voir infra), est un outil informatique ayant pour tâche d analyser, de traduire et d exécuter un programme écrit dans un… …   Wikipédia en Français

  • Interprète (informatique) — Pour les articles homonymes, voir Interprète et Interpréteur. Un interprète, ou interpréteur (voir infra), est un outil informatique ayant pour tâche d analyser, de traduire et d exécuter un programme écrit dans un langage informatique. De tels… …   Wikipédia en Français

  • Interprétation (informatique) — Interprète (informatique) Pour les articles homonymes, voir Interprète et Interpréteur. Un interprète, ou interpréteur (voir infra), est un outil informatique ayant pour tâche d analyser, de traduire et d exécuter un programme écrit dans un… …   Wikipédia en Français

  • Interpréteur (informatique) — Interprète (informatique) Pour les articles homonymes, voir Interprète et Interpréteur. Un interprète, ou interpréteur (voir infra), est un outil informatique ayant pour tâche d analyser, de traduire et d exécuter un programme écrit dans un… …   Wikipédia en Français

  • Interpréteur de script — Interprète (informatique) Pour les articles homonymes, voir Interprète et Interpréteur. Un interprète, ou interpréteur (voir infra), est un outil informatique ayant pour tâche d analyser, de traduire et d exécuter un programme écrit dans un… …   Wikipédia en Français

  • LORIA — Laboratoire lorrain de recherche en informatique et ses applications LORIA Création …   Wikipédia en Français

  • Laboratoire Lorrain De Recherche En Informatique Et Ses Applications — LORIA Création …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”