Regnier, Laurent
iml.univ-mrs.frUniversity of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.