5 works on record
Computational semantics with functional programming
Discourses on social software
Logic and information flow
Quantifiers, logic, and language
Logica voor alfa's en informatici
