Liesbeth De Mol

De Mol, Liesbeth. “Formalism : The Success(Es) of a Failure.” Let’s Be Logical = Soyons Logiques, edited by Amirouche Moktefi et al., vol. 22, College publications, 2016, pp. 28–44.

De Mol, Liesbeth, et al. “Haskell before Haskell : An Alternative Lesson in Practical Logics of the ENIAC.” JOURNAL OF LOGIC AND COMPUTATION, vol. 25, no. 4, 2015, pp. 1011–46, doi:10.1093/logcom/exs072.

De Mol, Liesbeth. “The Proof Is in the Process : A Preamble for a Philosophy of Computer-Assisted Mathematics.” New Directions in the Philosophy of Science, edited by Maria Carla Galavotti et al., vol. 5, Springer, 2014, pp. 15–33, doi:10.1007/978-3-319-04382-1_2.

De Mol, Liesbeth, and Giuseppe Primiero. “History and Philosophy of Computing, 7-10 November.” THE REASONER (CANTERBURY), vol. 6, no. 1, 2012.

De Mol, Liesbeth. “Reasoning with Computer-Assisted Experiments in Mathematics.” Proceedings of the Third Workshop in the Philosophy of Information, edited by Patrick Allo and Giuseppe Primiero, Koninklijke Vlaamse Academie van België, 2012, pp. 80–92.