Gaming Approach Route 26: a combination of computer simulation, design tools and social interaction M Duijn, L Immers, FA Waaldijk, HJ Stoelhorst Journal of Artificial Societies and Social Simulation: an inter-disciplinary …, 2003 | 34 | 2003 |
On the foundations of constructive mathematics–especially in relation to the theory of continuous functions F Waaldijk Foundations of science 10 (3), 249-324, 2005 | 33* | 2005 |
Modern intuitionistic topology F Waaldijk Radboud University Nijmegen, 1996 | 32* | 1996 |
Some Elementary Results in Intuitionistic Model Theory W Veldman, F Waaldijk Journal of Symbolic Logic, 745-767, 1996 | 10 | 1996 |
Natural Topology (second edition 2012) F Waaldijk Brouwer Society, 2011 | 2* | 2011 |
Exact computation over topological spaces F Waaldijk arXiv preprint arXiv:1806.01636, 2018 | | 2018 |
Modern Intuitionistic Topology: Thèse FA Waaldijk Katholieke Universiteit, 1996 | | 1996 |