Présentation de Chazal et Miller disponible

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

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en