Skip to main content
Commission for the History and Philosophy of Computing
Main menu
Home
HaPoC Commission
Become a Member
Events & News
Publications
Blog
HaPoC Conference Series
You are here
Home
User login
Username
*
Password
*
Create new account
Request new password
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Math question
*
1 + 10 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.
News
26th DHST Congress goes online
Computing and Programming in Context - Special Issue published
2021 DHST DISSERTATION PRIZE CALL FOR APPLICATIONS
postponing of HAPOP-5, Paris 2020
Grants for externally organised Events in 2021
HaPoC Events
workshop Formalization of proof, Formalization of programs, 18-19 december 2019, Paris
HaPoC5: Programme and Registration
HAPOC5: Accepted Papers
Pages
« first
‹ previous
…
…
next ›
last »
Recent Publications
A theory of change for prioritised resilient and evolvable software systems
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions
A Minimalist Epistemology for Agent-Based Simulations in the Artificial Sciences
On Malfunction, Mechanisms and Malware Classification
More...
Biblio
Found 2 results
Filters:
Author
is
De Mol, Liesbeth
[Clear All Filters]
2015
L. De Mol
,
Carlé, M.
, and
Bullynck, M.
,
“
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
”
,
Journal of Logic and Computation
, vol. 25, pp. 1011-1046, 2015.
2014
L. De Mol
and
Primiero, G.
,
“
Facing Computing as Technique: Towards a History and Philosophy of Computing
”
,
Philosophy & Technology
, pp. 1-6, 2014.