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

Schedule

• Feb. 15, 2013, 14:00 - 14:30

Attachments

• Transparents de l'exposé