Sites Inria

There are 4 Results with the keyword : "Types"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

9/03/2015

Place : Paris - Rocquencourt - Amphi Turing du bâtiment 1 - 10h30

Guest(s) : Danko Ilik, Inria

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

30/03/2015

Place : Paris - Rocquencourt - Amphi Turing du bâtiment 1 - 10h30

Guest(s) : Gabriel Scherer, Inria

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

29/02/2016

Place : Salle de réunion Jacques-Louis Lions 1, bâtiment C - 10h30

Guest(s) : Matthias Puech (Inria Saclay)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Conférence scientifique

Matthieu Sozeau (Pi.r2): What's HoTT?

18/02/2016

Homotopy Type Theory has recently been introduces as an alternative to usual set theory as a foundation of mathematics.

Keywords:

Home > Centre > Paris > Research > Matthieu Sozeau (Pi.r2): What's HoTT? Un panorama de la théorie des types homotopique

More

Top