Sites Inria

Il y a 1 Résultats avec le mot clé : "Ordre supérieur"

Soutenance de thèse

Soutenance de thèse de Ali Assaf (Deducteam)

28/09/2015

L’objectif de cette thèse est de rendre les preuves formelles plus universelles en les exprimant dans un cadre logique commun. Plus précisément nous utilisons le lambda-Pi-calcul modulo réécriture, un lambda calcul équipé de types dépendants et de réécriture, comme langage pour définir des logiques et exprimer des preuves dans ces logiques.

Lieu : Inria, 23 avenue d'Italie, 75013 Paris. Salle: Orange (1 & 2)

Intervenant(s) : Ali Assaf (Deducteam)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse de Ali Assaf (Deducteam)

lire la suite

Haut de page

Suivez Inria