Liesbeth De Mol
No current affiliation with UGent
Show
Sort by
-
Formalism : the success(es) of a failure
-
- Journal Article
- A1
- open access
Haskell before Haskell : an alternative lesson in practical logics of the ENIAC
-
- Book Chapter
- open access
The proof is in the process : a preamble for a philosophy of computer-assisted mathematics
-
- Book Chapter
- open access
Generating, solving and the mathematics of homo sapiens : Emil Post’s views on computation
-
- Conference Paper
- C1
- open access
Reasoning with computer-assisted experiments in mathematics
-
- Book Chapter
- open access
Looking for busy beavers : a socio-philosophical study of a computer-assisted proof
-
- Journal Article
- A1
- open access
On the complex behavior of simple tag systems : an experimental approach
-
Solvability of the halting and reachability problem for binary 2-tag systems
-
- Conference Paper
- P1
- open access
Haskell before Haskell: Curry's contribution to programming (1946-1950)
-
- Journal Article
- A1
- open access
Setting-up early computer programs: D. H. Lehmer's ENIAC computation