Suchergebnisse - Coquand, Thierry 1961-

Thierry Coquand

Thierry Coquand, 2006 mini|Thierry Coquand, 2006 Thierry Coquand (* 18. April 1961 in Jallieu, Département Isère) ist ein französischer Mathematiker und Informatiker. Veröffentlicht in Wikipedia
  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Domain theoretic models of polymorphism
    von Coquand, Thierry 1961-, Gunter, Carl, Winskel, Glynn

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    DI-domains as a model of polymorphism
    von Coquand, Thierry 1961-, Gunter, Carl, Winskel, Glynn

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    On the computational content of the Axiom of Choice
    von Berardi, Stefano, Bezem, Marc, Coquand, Thierry 1961-

    Veröffentlicht 1994
    Buch


    Gespeichert in:

Suchwerkzeuge: