News

18/02 | Début LI214

Subjects

Lambda-calculus, Rewriting
Semantics
Programming languages (ML, ADA, JAVA)
Formal methods