Over een oefening van Van der Waerden (2019)
The relation between Combinatory Logic and Lambda-calculus (2014)
Combinatorische volledigheid in partiële groepoïden (2022)