-
Fri, 9 Oct 2009
-
Thu, 1 Jan 2009
-
Fri, 6 Feb 2009
Models and proof normalisations
Wed, 2009-10-14 13:06 | by gfaure
All information here: http://www.lix.polytechnique.fr/~cousineau/research.php?lang=eng
Date:
Tuesday, December 1, 2009 - 15:00 - 16:30
Speaker:
Denis Cousineau
