Jan van Eijck

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

Games Actions And Social Software

Computational Semantics with Functional Programming

Liber Amicorum Alberti. A Tribute to Albert Visser