Jean-Baptiste Midez (Université d'Aix-Marseille), Quelques aspects combinatoires du lambda-calcul avec ressources

Programme

• 15 février 2013, 14:00 - 14:30

Pièces jointes

• Transparents de l'exposé