Thierry Coquand

Thierry Coquand
Thierry Coquand (à Frauenwörth, en juin 2006)

Thierry Coquand (né le 18 avril 1961 en Isère) est un mathématicien français, professeur d'informatique théorique à l'Université de Göteborg en Suède. Il est connu pour son travail sur les mathématiques constructives, en particulier le calcul des constructions. Il a eu pour directeur de thèse Gérard Huet.

Voir aussi

Lien externe


Wikimedia Foundation. 2010.

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

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Calculus of constructions — The calculus of constructions (CoC) is a higher order typed lambda calculus, initially developed by Thierry Coquand, where types are first class values. It is thus possible, within the CoC, to define functions from, say, integers to types, types… …   Wikipedia

  • Calcul Des Constructions — Le calcul des constructions (CoC de l anglais calculus of constructions) est un lambda calcul typé d ordre supérieur dans lequel les types sont des valeurs de première classe. Il est par conséquent possible, dans le CoC, de définir des fonctions… …   Wikipédia en Français

  • Calcul des Constructions — Le calcul des constructions (CoC de l anglais calculus of constructions) est un lambda calcul typé d ordre supérieur dans lequel les types sont des valeurs de première classe. Il est par conséquent possible, dans le CoC, de définir des fonctions… …   Wikipédia en Français

  • Calcul des constructions — Le calcul des constructions (CoC de l anglais calculus of constructions) est un lambda calcul typé d ordre supérieur dans lequel les types sont des valeurs de première classe. Il est par conséquent possible, dans le CoC, de définir des fonctions… …   Wikipédia en Français

  • Liste de normaliens par promotion — Cet article est une liste de normaliens anciens élèves de l École normale de la rue d Ulm, à Paris célèbres classés par promotion. Contrairement à beaucoup d’autres écoles, mais comme à l’École polytechnique, la promotion d’un normalien est son… …   Wikipédia en Français

  • Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science …   Wikipedia

  • Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… …   Wikipedia

  • Coq — For the coenzyme and dietary supplement, see Coenzyme Q10. Coq Paradigm(s) Functional Stable release 8.3 (October 2010; 12 months ago (2010 10)) …   Wikipedia

  • Normalization property (lambda-calculus) — In mathematical logic and theoretical computer science, a rewrite system has the strong normalization property (in short: the normalization property) if every term is strongly normalizing ; that is, if every sequence of rewrites eventually… …   Wikipedia

  • Gérard Huet — Gérard Huet, born in Bourges on July 7 1947, is a French computer scientist.Graduated from: * Université Denis Diderot (Paris VII) * Case Western Reserve University * Université de Paris * His specialties are: * Software architecture * Design of… …   Wikipedia

Share the article and excerpts

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