Jacques Garrigue
Programming Languages and Systems
- Springer 2014
- Lecture Notes in Computer Science .
9783319127361
Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages