Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Bas Spitters Homepage
Constructive mathematics, computer mathematics (combining proving and
computing in one integrated computer environment), the foundations of
both (type theory, formal topology, ...).
My research is supported by the VENI grant `Reasoning and Computing' of the dutch science foundation NWO.
Some of my articles