Sites Inria

Il y a 4 Résultats avec le mot clé : "Types"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

9/03/2015

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

Intervenant(s) : Danko Ilik, Inria

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

30/03/2015

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

Intervenant(s) : Gabriel Scherer, Inria

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

29/02/2016

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

Intervenant(s) : Matthias Puech (Inria Saclay)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Conférence scientifique

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

18/02/2016

La théorie des types homotopique a récemment été proposée comme une fondation des mathématiques alternative à la théorie usuelle des ensembles. Elle répond originellement au besoin croissant de vérification formelle et mécanisée des preuves formulées en mathématiques, besoin auquel la théorie des ensembles est peu adaptée.

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2016 > Matthieu Sozeau (Pi.r2): What's HoTT? Un panorama de la théorie des types homotopique

Lire la suite

Haut de page

Suivez Inria