Résumé
0
Les présentations de Gérard Chazal et Dale Miller de la séance du 15 juin, sont maintenant disponsible: Gerard Chazal (Université de Bourgogne), Informatique et philosophie du langage Dale Miller (Inria and LIX/Ecole polytechnique), Applications of structural proof theory to computer science