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

Schedule

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

Attachments

• Transparents de l'exposé