Miller, Dale
INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.

No queries for www.lix.polytechnique.fr/Labo/Dale.Miller