Linear Logic Primer
pps.jussieu.frIntroductory course by Vincent Danos and Roberto Di Cosmo.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
Introductory course by Vincent Danos and Roberto Di Cosmo.