Regnier, Laurent

Details of Regnier, Laurent

Regnier, Laurent- University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.

Education