Publications
. 2007. Causality And Conservation. Elements Of The New Metaphysics Behind The Mathematization Of Nature In The Seventeenth Century. VUB.
. In Press. Let's be logical Formalism. The Success(Es) Of A Failure. . College publications.
. 2012. Preprint Series of the Isaac Newton Institute for Mathematical Sciences Intuitionistic Logic Of Proofs With Dependent Proof Terms.
. 2006. Unpublished Mathematics And Pictures. Some Popular Examples.
. 2008. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.
. 2011. Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy A Multi-Modal Type System And Its Procedural Semantics For Safe Distributed Programming.
. 2012. The Turing Centenary Conference CiE 2012: How the World Computes A Short History Of Small Machines.

] 