Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

50 résultats
Page :
triés par
Image document

Code source sans code: le cas de l'ENIAC.

 Liesbeth de Mol
Doctorat. France. 2016
Cours cel-01345599v1
Image document

What We Talk About When We Talk About Programs

 Violetta Lonati , Andrej Brodnik , Tim Bell , Andrew Paul Csizmadia , Liesbeth de Mol , et al.
ITiCSE 2022: Innovation and Technology in Computer Science Education, SIGCSE, Jul 2022, Dublin, Ireland. ⟨10.1145/3571785.3574125⟩
Communication dans un congrès hal-03926435v1

Entre analogie et abstraction : une étude des origines de la simulation dans l’ENIAC

 Liesbeth de Mol
Séminaire HiPhiS, Histoire et Philosophie des Sciences ( Webinaire ), Jan 2021, En ligne, France
Communication dans un congrès hal-03287439v1
Image document

Some reflections on mathematics and its relation to computer science

 Liesbeth de Mol
Andrew Adamatzky. Automata, Universality, Computation. A tribute to Maurice Margenstern, Springer, pp.75-102, 2015
Chapitre d'ouvrage hal-00988581v1
Image document

Beyond " Turing computability: a historical perspective

 Liesbeth de Mol
Doctoral. Belgium. 2016
Cours cel-01345597v1
Image document

Why did computer science make a hero out of Turing?

 Maarten Bullynck , Edgar G. Daylight , Liesbeth de Mol
Communications of the ACM, 2015, 58 (3), pp.37-39. ⟨10.1145/2658985⟩
Article dans une revue hal-01396456v1
Image document

Roundtable discussion: "What does the history of IT have to say to media studies and computer science?

 Liesbeth de Mol
Doctoral. Siegen, Germany. 2016
Cours cel-01345596v1
Image document

Haskell before Haskell. An alternative lesson in practical logics of the ENIAC.

 Liesbeth de Mol , Martin Carlé , Maarten Bullynck
Journal of Logic and Computation, 2015, 25 (4), pp.1011-1046. ⟨10.1093/logcom/exs072⟩
Article dans une revue hal-01396482v1
Image document

Towards a diversified understanding of computability or Why we should care more about our histories

 Liesbeth de Mol
Doctoral. United Kingdom. 2022
Cours hal-03886232v1

Reflections on Programming Systems. Historical and Philosophical Aspects

 Liesbeth de Mol , Giuseppe Primiero
Springer, 2019, ⟨10.1007/978-3-319-97226-8⟩
Ouvrages hal-02087884v1
Image document

Roots of program revisited

 Liesbeth de Mol , Maarten Bullynck
Communications of the ACM, 2021
Article dans une revue hal-03287324v1
Image document

Less is more in the Fifties. Encounters between Logical Minimalism and Computer Design during the 1950s

 Liesbeth de Mol , Maarten Bullynck , Edgar G. Daylight
IEEE Annals of the History of Computing, 2018
Article dans une revue hal-01345592v3
Image document

Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof

 Liesbeth de Mol
Karen Francois, Benedikt Löwe, Thomas Müller, et Bart van Kerkhove. Foundations of The Formal Sciences VII. Bringing together Philosophy and Sociology of Science, 32, College Publications, pp.61-90, 2012, Studies in logic, 978-1-84890-049-3
Chapitre d'ouvrage hal-01396523v1

What is a computer program? Historical and philosophical reflections

 Liesbeth de Mol
CODEMESHS 2019, Nov 2019, Londres, United Kingdom
Communication dans un congrès hal-03287397v1

SESSION REPORT Symposium Ethical, Legal and Political issues of Computing (ELPIC)

 Liesbeth de Mol , Maarten Bullynck , Julian Rohrhuber
[Research Report] CIPSH Unesco. 2017
Rapport hal-02187291v1
Image document

Making the history of computing. The history of computing in the history of technology and the history of mathematics.

 Liesbeth de Mol , Maarten Bullynck
Revue de Synthèse, 2018
Article dans une revue hal-01814822v1

Mathématiques et Machines

 Liesbeth de Mol , Maarten Bullynck , Marie-José Durand-Richard
2019
Ouvrages hal-02389134v1
Image document

Characterizing the Nature of Programs for educational purposes

 Violetta Lonati , Andrej Brodnik , Tim Bell , Andrew Paul Csizmadia , Liesbeth de Mol , et al.
27th ACM Conference on on Innovation and Technology in Computer Science Education (ITiCSE '22), ACM, Jul 2022, Dublin, Ireland. pp.572-573, ⟨10.1145/3502717.3532173⟩
Communication dans un congrès hal-03886144v1
Image document

Confessions of a nomad. A personal view on the history of computing

 Liesbeth de Mol
2023
Pré-publication, Document de travail hal-04199923v1
Image document

On the complex behavior of simple tag systems: An experimental approach

 Liesbeth de Mol
Theoretical Computer Science, 2011, 412 (1-2), pp.97-112. ⟨10.1016/j.tcs.2010.08.026⟩
Article dans une revue hal-01396517v1

What is a program? Historical and Philosophical pespectives

 Liesbeth de Mol , Giuseppe Primiero
2018
Autre publication scientifique hal-01814847v1
Image document

Expérience(s) du temps en informatique

 Liesbeth de Mol
2016
Pré-publication, Document de travail hal-01359449v1

Turing machines

 Liesbeth de Mol
Stanford Encyclopedia of Philosophy, 2018
Autre publication scientifique hal-02087865v1
Image document

What's in a name? Origins, transpositions and transformations of the triptych Algorithm -Code -Program

 Liesbeth de Mol , Maarten Bullynck
J. Abbate and S. Dick. Abstractions and embodiments. New histories of computing and society, Johns Hopkins, 2022
Chapitre d'ouvrage hal-03081203v3
Image document

Russian Logics and the Culture of Impossible: PART I, Recovering Intelligentsia Logics

 Ksenia Tatarchenko , Anya Yermakova , Liesbeth de Mol
IEEE Annals of the History of Computing, 2021, Logic and Computation, 43, pp. 43-56
Article dans une revue hal-03081260v1
Image document

Russian Logics and the Culture of Impossible: PART II, Reinterpreting Algorithmic Rationality

 Ksenia Tatarchenko , Anya Yermakova , Liesbeth de Mol
IEEE Annals of the History of Computing, 2021, 43 (4), pp. 57-69. ⟨10.1109/MAHC.2021.3135714⟩
Article dans une revue hal-03328539v1
Image document

“'Tis but thy name that is my enemy”. Some reflections on the art and science views on and in the history of programming.

 Liesbeth de Mol
Society for the History of Technology, Oct 2019, Milano, Italy
Communication dans un congrès hal-03287418v1
Image document

Calculating Machines and numerical tables – a reciprocal history

 Liesbeth de Mol , Marie-José Durand-Richard
2016
Pré-publication, Document de travail hal-01396846v1
Image document

Haskell before Haskell. Curry’s contribution to programming (1946–1950)

 Liesbeth de Mol , Maarten Bullynck , Martin Carlé
Lecture Notes in Computer Science, 2010, Programs, Proofs, Processes. Sixth Conference on Computability in Europe, 6158
Article dans une revue hal-01396489v1
Image document

Looking behind the curtain of disruptive discourse -a personal view

 Liesbeth de Mol
Algorithmic Knowledge Production, Oct 2020, Zürich, Switzerland
Communication dans un congrès hal-03081322v1
Page :