Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system

Carte non disponible
Speaker Home page :
Speaker :
Speaker Affiliation :

()

Date/heure
Date(s) - 26/04/2016
14 h 00 min - 15 h 00 min

Catégories Pas de Catégories


TBA

http://lsv.fr/~dowek/


Retour en haut 

Secured By miniOrange