Publications
. Submitted. “Pooling Modalities And Pointwise Intersection: Semantics, Expressivity, And Applications”.
. 2005. Unpublished Weighing Falling Bodies. Galileo's Thought Experiment In The Development Of His Dynamical Thinking.
. 2012. The Turing Centenary Conference CiE 2012: How the World Computes A Short History Of Small Machines.
. 2011. Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy A Multi-Modal Type System And Its Procedural Semantics For Safe Distributed Programming.
. 2008. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.
. 2006. Unpublished Mathematics And Pictures. Some Popular Examples.
. 2012. Preprint Series of the Isaac Newton Institute for Mathematical Sciences Intuitionistic Logic Of Proofs With Dependent Proof Terms.
. In Press. Let's be logical Formalism. The Success(Es) Of A Failure. . College publications.

] 