Tom Schrijvers

Functional and Logic Programming Lecture Notes in Computer Science