Frank Waaldijk

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

Frank Waaldijk, Franka Arjanne Waaldijk, 2005 .

Gaming Approach Route 26: a combination of computer simulation, design tools and social interaction

L. H. Immers, Frank Waaldijk, M. Duijn, 2002, J. Artif. Soc. Soc. Simul..

Some Elementary Results in Intuitionistic Model Theory

Wim Veldman, Frank Waaldijk, 1996, J. Symb. Log..