
Giuseppe Longo
127
Documents
Publications
Publications
PréfaceLes Machines intelligentes : textes fondateurs, Hermann, pp.222, A paraître, Technologia, 9791037040954
Chapitre d'ouvrage
hal-04956631
v1
|
|
L’invenzione matematica e scientifica, al di là dei miti tecnoscientifici.Il Liceo matematico: un approccio storico e interdisciplinare all’insegnamento delle scienze e della matematica, Mimesis, 2025
Chapitre d'ouvrage
hal-04958483
v1
|
|
PrefaceTheoretical Principles of Relational Biology. Space, Time, Organization, Springer, 2024, 978-3031393761. ⟨10.1007/978-3-031-39374-7⟩
Chapitre d'ouvrage
hal-04957043
v1
|
|
Ces molécules et ces intelligences qui ne meurent pas : comment sortir de ces langages sans sens ni vieDe Michele et al. Cur. Plus d’une discipline : actualité de La vie la mort, Hermann, 2023
Chapitre d'ouvrage
hal-04958366
v1
|
|
|
Today’s ecological relevance of Bergson-Einstein debate on timeCampo, Alessandra; Gozzano, Simone. Einstein vs Bergson. An enduring quarrel of time, De Gruyter, 2021, 978-3-11-075350-9. ⟨10.1515/9783110753707⟩
Chapitre d'ouvrage
hal-04956996
v1
|
Qu’est-ce qu’écrire une loi ? L’écriture informatique en science et en droitSamantha Besson & Samuel Jubé. Concerter les civilisations. Mélanges en l'honneur d'Alain Supiot, Le Seuil, pp.249-259, 2020, 9782021440577
Chapitre d'ouvrage
hal-04043555
v1
|
|
|
Des hommes et des machines : comment reconnaitre une caricature ?Actes du colloque "Le travail au XXIème siècle : Droit, techniques, écoumène", 2020
Chapitre d'ouvrage
hal-02903910
v1
|
|
Information, science and democracy, for an ethics of scientific knowledgeFabris, Adriano. Trust, 54, Springer, pp.63-79, 2020, Studies in Applied Philosophy, Epistemology and Rational Ethics, 10: 3030440176, 978-3030440176
Chapitre d'ouvrage
hal-02904192
v1
|
|
Corrélations artificielles vs intelligence des causes De la méthode scientifique : les données suffisent-elles ?Commission des Affaires Sociales, Assemblée Nationale. Livre Blanc Tome 2 "Contribution des outils numériques à la transformation des organisations de santé", 2020
Chapitre d'ouvrage
hal-02904022
v1
|
|
Penser au-delà de l'« épidémie d'épidémies »Penser l'épidémie Covid-19 autrement, Institut d'Etudes Avancées de Nantes, 2020
Chapitre d'ouvrage
hal-02904203
v1
|
|
Thinking beyond the "epidemic of epidemicsPenser l'épidémie Covid-19 autrement, Institut d'Etudes Avancées de Nantes, 2020
Chapitre d'ouvrage
hal-02904208
v1
|
|
Qu'est-ce qu'écrire une loi ? L'écriture informatique en science et en droitSamantha Besson et Samuel Jubé (curateurs). Concerter les civilisations - Mélanges en l'honneur d'Alain Supiot, Seuil, 2020, 9782021440577
Chapitre d'ouvrage
hal-02904222
v1
|
|
Anthropocène, Exosomatisation et NéguentropieStiegler, Bernard. Bifurquer Il n'y a pas d'alternative, Les Liens Qui Libèrent, 2020, 979-10-209-0856-8
Chapitre d'ouvrage
hal-03320846
v1
|
|
Information at the Threshold of Interpretation, Science as Human Construction of Sense.Bertolaso, Marta; Sterpetti, Fabio. A Critical Reflection on Automated Science – Will Science Remain Human?, Springer Nature Switzerland AG, pp.67-100, 2019, 3030250008, 978-3030250003
Chapitre d'ouvrage
hal-02903688
v1
|
|
Big Data and Biological KnowledgeCNR Edizioni. Prediction and Contingency in Biosciences, pp.133-144, 2018
Chapitre d'ouvrage
hal-02398776
v1
|
Digital networks, knowledge and political biases in their understanding and usePhilosophy of Internet and the Hermeneutic Web, MIT Press, 2018
Chapitre d'ouvrage
hal-02904229
v1
|
|
|
Interfaces of IncompletenessMinati, Gianfranco; Abram, Mario R.; Pessa, Eliano. Systemics of Incompleteness and Quasi-Systems, Springer, 2018, 3030152766, 978-3030152765
Chapitre d'ouvrage
hal-02903234
v1
|
|
Du siècle du gène à celui de l'organisme : introduction à de nouvelles perspectives théoriquesSciences de la vie, sciences de l'information, 2017
Chapitre d'ouvrage
hal-02398770
v1
|
|
Big Data et connaissance biologiqueSciences de la vie, sciences de l'information, 2017
Chapitre d'ouvrage
hal-02398771
v1
|
|
Comparing Symmetries in Models and SimulationsSpringer Handbook of Model-Based Science, 2017, ⟨10.1007/978-3-319-30526-4⟩
Chapitre d'ouvrage
hal-01380014
v2
|
|
A review-essay on reductionism: some reasons for reading "Reductionism, Emergence and Levels of Reality. The Importance of Being BorderlineReductionism, Emergence and Levels of Reality. The Importance of Being Borderline, 2016, 978-3-319-06361-4
Chapitre d'ouvrage
hal-01380686
v1
|
|
Quantifying the world and its webs: mathematical discrete vs continua in knowledge constructionLettres à Alan Turing, 2016, 9782362800979
Chapitre d'ouvrage
hal-01439236
v1
|
|
Anticipation, protension et inertie biologiqueAlain Berthoz, Claude Debru. Anticipation et Prédiction. Du geste au voyage mental, Odile Jacob, 2015, 978-2738132482
Chapitre d'ouvrage
hal-01381825
v1
|
|
The Unconventionality of Nature: Biology, from Noise to Functional RandomnessLecture Notes in Computer Science (LNCS), 9252, Springer, pp.3-34, 2015, Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings, ⟨10.1007/978-3-319-21819-9_1⟩
Chapitre d'ouvrage
hal-01388288
v1
|
|
L’incompressible complexité du réel et la construction évolutive du simpleBerthoz, Alain; Petit, Jean-Luc. Complexité-Simplexité, Collège de France, 2014
Chapitre d'ouvrage
hal-01377260
v1
|
|
Perspectives on Organisms: Biological Time, Symmetries and Singularities. IntroductionGiuseppe Longo; Maël Montévil. Perspectives on Organisms: Biological Time, Symmetries and Singularities, Springer, pp.1-22, 2014, Lecture Notes in Morphogenesis, 978-3642359378. ⟨10.1007/978-3-642-35938-5_1⟩
Chapitre d'ouvrage
hal-03318663
v1
|
|
PrefacePerspectives on Organisms: Biological Time, Symmetries and Singularities, Springer, 2014, 364235937X, 978-3642359378
Chapitre d'ouvrage
hal-03318656
v1
|
|
Introduction to New Perspectives in BiologyEssays for the Luca Cardelli Fest., 2014
Chapitre d'ouvrage
hal-02196169
v1
|
|
Randomness Increases Order in Biological EvolutionDinneen, Michael J.; Khoussainov, Bakhadyr; Nies, André. Computation, Physics and Beyond, 7160, Springer, pp.289-308, 2012, Lecture Notes in Computer Science, 978-3-642-27654-5. ⟨10.1007/978-3-642-27654-5_22⟩
Chapitre d'ouvrage
hal-01450024
v2
|
|
Mathematics and the Natural Sciences. The Physical Singularity of Life. IntroductionMathematics and the Natural Sciences. The Physical Singularity of Life, Imperial College Press, 2011, Advances in Computer Science and Engineering: Texts, 9781848166936
Chapitre d'ouvrage
hal-03318542
v1
|
|
Some Bridging Results and Challenges in Classical, Quantum and Computational RandomnessHector Zenil. Randomness Through Computation, World Scientific, pp.NA, 2011
Chapitre d'ouvrage
hal-00445553
v3
|
|
Randomness and Determination, from Physics and Computing towards BiologySOFSEM 2009: Theory and Practice of Computer Science, 5404, Springer, pp.49-62, 2009, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-95891-8_8⟩
Chapitre d'ouvrage
istex
hal-03319956
v1
|
|
Space, time and cognition. From The Standpoint of Mathematics and Natural SciencePeruzzi, Alberto. Mind and Causality, John Benjamins Publishing Company, pp.149-199, 2004, Advances in Consciousness Research, 1588114740, 978-1588114747. ⟨10.1075/aicr.55.10bai⟩
Chapitre d'ouvrage
hal-03318945
v1
|
|
Some Topologies for ComputationsJoseph Kouneiher; Dominique Flament; Philippe Nabonnand; Jean-Jacques Szczeciniarz. Géométrie au XX siècle, 1930 - 2000. Histoire et horizons, Hermann, 2004, 9782705665456
Chapitre d'ouvrage
hal-03318037
v1
|
|
Mémoire et objectivité en mathématiquesCartier; Charaud. Le réel en mathématiques, Agalma, 2004
Chapitre d'ouvrage
hal-03318824
v1
|
|
Lo spazio, i fondamenti della Matematica e la resistibile ascesa della metafora: il cervello è un calcolatore digitaleL'uomo e le macchine, Olschki, 2002, 9788822251053
Chapitre d'ouvrage
hal-03318837
v1
|
|
The Constructed Objectivity of Mathematics and the Cognitive SubjectMioara Mugur-Schächter; Alwyn van der Merwe. Quantum Mechanics, Mathematics, Cognition and Action - Proposals for a Formalized Epistemology, 129, Springer, pp.433-463, 2002, Fundamental Theories of Physics 978-9048162192. ⟨10.1007/0-306-48144-8_14⟩
Chapitre d'ouvrage
hal-03318906
v1
|
Carnap's remarks on Impredicative Definitions and the Genericity TheoremCantini, Andrea; Casari, Ettore; Minari, Pierluigi. Logic and Foundations of Mathematics, Springer, 1999, 978-94-017-2109-7
Chapitre d'ouvrage
hal-03318819
v1
|
|
|
The Mathematical Continuum, from Intuition to LogicPetitot, Jean; Varela, Francisco J.; Pachoud, Bernard; Roy, Jean-Michel. Naturalizing Phenomenology. Issues in Contemporary Phenomenology and Cognitive Science, Stanford University Press, pp.401-427, 1999, 978-0804733229
Chapitre d'ouvrage
hal-03318265
v1
|
Reflections on formalism and reductionism in Logic and Computer ScienceEuropean Conference of Mathematics, pp.202-209, 1992
Chapitre d'ouvrage
hal-03318152
v1
|
|
Reflections on formalism and reductionism in logic and computer scienceEbbinghaus, H-.D.; Fernandez-Prida, J.; Garrido, M.; Lascar, D.; Rodriguez Artalejo, M. Logic Colloquium 87, Elsevier Science Ltd, pp.241-274, 1989, 0444880224, 978-0444880222
Chapitre d'ouvrage
hal-03318215
v1
|
|
La complexité de l’élémentaire qui changeActa Semiotica Fennica, 2024, IV (8), Dossier Aspects sémiotiques du changement
Article dans une revue
hal-04958496
v1
|
|
Le nez de Pangloss : Ex-aptation et overloading, entre biologie et organologieLe Portique : Revue de Philosophie et de sciences Humaines, 2024, Bernard Stiegler. Panser les savoirs dans le milieu numérique, ⟨10.4000/1302g⟩
Article dans une revue
hal-04958410
v1
|
|
The pandemic and the « techno-fix »Organisms. Journal of Biological Sciences, In press, 6 (1), pp.23-39. ⟨10.13133/2532-5876/17680⟩
Article dans une revue
hal-03907716
v1
|
Les nouveaux Organismes génétiquement modifiés (OGM) : pour un « principe de précaution scientifique »PWD Philosophy World Democracy, 2023
Article dans une revue
hal-04956791
v1
|
|
|
Entropie, Neguentropie et Anti-entropie : le jeu des tensions pour penser le vivantISTE Openscience, 2022
Article dans une revue
hal-03933227
v1
|
Comparing Artificial, Animal and Scientific Intelligence: A Dialogue with Giuseppe LongoSage Journals, 2022, 39 (7-8), ⟨10.1177/02632764221143513⟩
Article dans une revue
hal-04958331
v1
|
|
|
Programming Evolution: a Crack in ScienceOrganisms. Journal of Biological Sciences, 2021, 5 (1), pp.5-16. ⟨10.13133/2532-5876/17538⟩
Article dans une revue
hal-03319842
v1
|
Science in the stormPhilosophy World Democracy Journal, 2021, Agnotology, Artificial Intelligence, and Democracy (Special issue: " The dusk of theoretical controversies in current sciences.")
Article dans une revue
hal-03936153
v1
|
|
IntroductionPhilosophy World Democracy Journal, 2021, Special issue: " The dusk of theoretical controversies in current sciences."
Article dans une revue
hal-03936231
v1
|
|
|
From axiomatic systems to the Dogmatic gene and beyondJournal of Biosystems, 2021
Article dans une revue
hal-03319582
v1
|
|
Infinity of God and Space of Men in Painting, Conditions of Possibility for the Scientific RevolutionMathematics in the Visual Arts, 2020
Article dans une revue
hal-02904061
v1
|
|
Naturalizing Physics Or, embedding physics in the historicity and materiality of the livingLa Deleuziana - Online JOurnal Of Philosophy, 2020, Special issue on “Differential Heterogenesis: Deleuze, Mathematics And The Creation Of Forms”, 11
Article dans une revue
hal-02903742
v1
|
Among the trees: iterating geneses of forms, in art and in natureISTE Openscience, 2020
Article dans une revue
hal-02904049
v1
|
|
|
Letter to Alan TuringTheory, Culture and Society, 2019, 36 (6), pp.73-94. ⟨10.1177/0263276418769733⟩
Article dans une revue
hal-02903799
v1
|
|
From physics to biology by extending criticality and symmetry breakings: an updateActa Europeana Systemica, 2019, 9, pp.77 - 92. ⟨10.14428/aes.v9i1.56043⟩
Article dans une revue
hal-03478496
v1
|
|
Information and Causality: Mathematical Reflections on Cancer BiologyOrganisms. Journal of Biological Sciences, 2018, 2 (1), pp.83-104. ⟨10.13133/2532-5876_3.15⟩
Article dans une revue
hal-02903214
v1
|
|
From logic to biology via physics: a surveyLogical Methods in Computer Science, 2017, 13 (4), pp.1-15. ⟨10.23638/LMCS-13(4:21)2017⟩
Article dans une revue
hal-01377051
v2
|
|
Theoretical principles for biology: organizationProgress in Biophysics and Molecular Biology, 2016, "From the century of the genome to the century of the organism: New theoretical approaches", Special issue, 122 (1), pp.40-55. ⟨10.1016/j.pbiomolbio.2016⟩
Article dans une revue
hal-01354872
v2
|
|
Preface to “From the century of the genome to the century of the organism: New theoretical approaches”Progress in Biophysics and Molecular Biology, 2016, 122 (1), pp.1-3. ⟨10.1016/j.pbiomolbio.2016.09.011⟩
Article dans une revue
hal-03574501
v1
|
|
Theoretical principles for biology: VariationProgress in Biophysics and Molecular Biology, 2016, "From the century of the genome to the century of the organism: New theoretical approaches", a Special issue, 122 (1), pp.36-50. ⟨10.1016/j.pbiomolbio.2016.08.005⟩
Article dans une revue
hal-01379202
v2
|
|
Classical, quantum and biological randomness as relative unpredictabilityNatural Computing, 2016, 15 (2), pp.263-278. ⟨10.1007/s11047-015-9533-2⟩
Article dans une revue
hal-01380600
v1
|
|
Toward a theory of organisms: Three founding principles in search of a useful integrationProgress in Biophysics and Molecular Biology, 2016, "From the century of the genome to the century of the organism: New theoretical approaches", a Special issue, 122 (1), pp.77-82. ⟨10.1016/j.pbiomolbio.2016.07.006⟩
Article dans une revue
hal-01413497
v2
|
|
Why do we need theories?Progress in Biophysics and Molecular Biology, 2016, From the Century of the Genome to the Century of the Organism: New Theoretical Approaches, 122 (1), pp.4-10. ⟨10.1016/j.pbiomolbio.2016.06.005⟩
Article dans une revue
hal-01413488
v1
|
|
Reductionist perspectives and the notion of informationProgress in Biophysics and Molecular Biology, 2016, “From the century of the genome to the century of the organism: New theoretical approaches”, special issue, 122 (1), pp.15-20. ⟨10.1016/j.pbiomolbio.2016.07.003⟩
Article dans une revue
hal-01377071
v1
|
|
The biological default state of cell proliferation with variation and motility, a fundamental principle for a theory of organismsProgress in Biophysics and Molecular Biology, 2016, From the Century of the Genome to the Century of the Organism: New Theoretical Approaches, 122 (1), pp.16 - 23. ⟨10.1016/j.pbiomolbio.2016.06.006⟩
Article dans une revue
hal-01413495
v2
|
Turing : les images d’une imitationInterstices, 2015
Article dans une revue
hal-01352763
v1
|
|
|
Synthetic Philosophy of Mathematics and Natural Sciences Conceptual analyses from a Grothendieckian PerspectiveSpeculations: Journal of Speculative Realism, 2015
Article dans une revue
hal-01376235
v1
|
|
In search of principles for a Theory of OrganismsJournal of Biosciences, 2015, 40 (5), ⟨10.1007/s12038-015-9574-9⟩
Article dans une revue
hal-01253484
v1
|
|
Economics for a creative worldJournal of Institutional Economics, 2015, 11, pp.1 - 31. ⟨10.1017/S1744137414000150⟩
Article dans une revue
hal-01415131
v1
|
|
MAPPING THE GALAXY COLOR-REDSHIFT RELATION: OPTIMAL PHOTOMETRIC REDSHIFT CALIBRATION STRATEGIES FOR COSMOLOGY SURVEYSThe Astrophysical Journal, 2015, 813 (1), ⟨10.1088/0004-637X/813/1/53⟩
Article dans une revue
hal-01440001
v1
|
|
Economic Opportunity and Evolution: Beyond Landscapes and Bounded RationalityStrategic Entrepreneurship Journal, 2014, 8, pp.269 - 282. ⟨10.1002/sej.1184⟩
Article dans une revue
istex
hal-01415115
v1
|
|
Extended criticality, phase spaces and enablement in biologyChaos, Solitons & Fractals, 2013, Emergent Critical Brain Dynamics, 55, pp.64-79. ⟨10.1016/j.chaos.2013.03.008⟩
Article dans une revue
hal-01192911
v2
|
|
Is information a proper observable for biological organization?Progress in Biophysics and Molecular Biology, 2012, 109, pp.108 - 114. ⟨10.1016/j.pbiomolbio.2012.06.004⟩
Article dans une revue
hal-03319792
v1
|
|
Incomputability in Physics and BiologyMathematical Structures in Computer Science, 2012, 22 (5), pp.880 - 900. ⟨10.1017/s0960129511000569⟩
Article dans une revue
hal-03320018
v1
|
|
From bottom-up approaches to levels of organization and extended critical transitions.Frontiers in Physiology, 2012, 3, pp.232. ⟨10.3389/fphys.2012.00232⟩
Article dans une revue
hal-01192909
v1
|
|
The Inert vs. the Living State of Matter: Extended Criticality, Time Geometry, Anti-Entropy - An Overview.Frontiers in Physiology, 2011, 3, pp.39. ⟨10.3389/fphys.2012.00039⟩
Article dans une revue
hal-01192906
v1
|
|
A 2-dimensional geometry for biological timeProgress in Biophysics and Molecular Biology, 2011, 106 (3), pp.474-484. ⟨10.1016/j.pbiomolbio.2011.02.001⟩
Article dans une revue
hal-01192903
v2
|
|
From physics to biology by extending criticality and symmetry breakingsProgress in Biophysics and Molecular Biology, 2011, 106 (2), pp.340 - 347. ⟨10.1016/j.pbiomolbio.2011.03.005⟩
Article dans une revue
hal-01192902
v2
|
|
Protention and retention in biological systemsTheorie in den Biowissenschaften / Theory in Biosciences, 2011, 130 (2), pp.107 - 117. ⟨10.1007/s12064-010-0116-6⟩
Article dans une revue
hal-01192905
v2
|
|
An expression of closure to efficient causation in terms of lambda-calculusJournal of Theoretical Biology, 2009, 257 (3), pp.489. ⟨10.1016/j.jtbi.2008.12.012⟩
Article dans une revue
hal-00554549
v1
|
|
An expression of closure to efficient causation in terms of lambda-calculus 1Journal of Theoretical Biology, 2009, 257 (3), pp.489-498
Article dans une revue
hal-03319959
v1
|
|
From exact sciences to life phenomena: following Schrödinger and Turing on Programs, Life and CausalityInformation and Computation, 2009, 207 (207), pp.545-558. ⟨10.1016/j.ic.2008.11.002⟩
Article dans une revue
hal-03319903
v1
|
|
A computable expression of closure to efficient causationJournal of Theoretical Biology, 2009, 257 (3), pp.489-498. ⟨10.1016/j.jtbi.2008.12.012⟩
Article dans une revue
halshs-00791132
v1
|
|
Computability and the morphological complexity of some dynamics on continuous domainsTheoretical Computer Science, 2008, 398 (1-3), pp.170-182. ⟨10.1016/j.tcs.2008.01.048⟩
Article dans une revue
hal-03319898
v1
|
|
The differential method and the causal incompleteness of Programming Theory in Molecular BiologyFoundations of Science, 2007, 12 (4), pp.337-366. ⟨10.1007/s10699-007-9111-x⟩
Article dans une revue
istex
hal-03319628
v1
|
Sapere critico e sapere positivo: l’importanza dei risultati negativiNaturalmente (Fatti e trame delle Scienza), 2005, 18 (3)
Article dans une revue
hal-03320095
v1
|
|
|
Critical knowledge and positive knowledge: on the importance of negative results.Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), 2005, 40 (1)
Article dans une revue
hal-03320094
v1
|
|
Espace, temps et cognition. A partir des mathématiques et des sciences de la natureRevue de synthèse, 2003, 124, ⟨10.1007/bf02963401⟩
Article dans une revue
hal-03318948
v1
|
Prototype Proofs in Type TheoryMathematical Logic Quaterly, 2000, 46 (3)
Article dans une revue
hal-03318025
v1
|
|
Coherence and Transitivity of Subtyping as EntailmentJournal of Logic and Computation, 2000, 10 (4), pp.493--526. ⟨10.1093/logcom/10.4.493⟩
Article dans une revue
hal-03318019
v1
|
|
|
Mathematical Intelligence, Infinity and Machines: beyond the GoedelitisJournal of Consciousness Studies, 1999, Special issue on Cognition, vol. 6 (11-12)
Article dans une revue
hal-03318820
v1
|
|
The difference between Clocks and Todays Computing MachinesLa Nuova Critica, 1997, 29 (1)
Article dans une revue
hal-03318227
v1
|
Cerveau, nombres et bon-ordreRevue de l'Association Henri Poincare', 1997, 6, pp.6-16
Article dans une revue
hal-03318715
v1
|
|
|
Géométrie, Mouvement, Espace: Cognition et MathématiquesIntellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), 1997, 25
Article dans une revue
hal-03318277
v1
|
Introduction: est-ce que les calamars font de la Géométrie?1997
Article dans une revue
(compte-rendu de lecture)
hal-03318274
v1
|
|
Subtyping parametric and dependent typesType Theory and Term Rewriting, 1996
Article dans une revue
hal-03316472
v1
|
|
Parametric and type-dependent polymorphismFundamenta Informaticae, 1995, 22 (1-2), pp.69-92
Article dans une revue
hal-03316296
v1
|
|
|
A calculus for overloaded functions with subtypingInformation and Computation, 1995, 117 (1), pp.115-135. ⟨10.1006/inco.1995.1033⟩
Article dans une revue
hal-03316300
v1
|
|
The Genericity Theorem and effective Parametricity in Polymorphic lambda-calculusTheoretical Computer Science, 1993, 121 (1-2), pp.323-349. ⟨10.1016/0304-3975(93)90093-9⟩
Article dans une revue
hal-03316293
v1
|
|
Provable isomorphisms of typesMathematical Structures in Computer Science, 1992, 2 (2), pp.231-247. ⟨10.1017/S0960129500001444⟩
Article dans une revue
istex
hal-03316287
v1
|
A semantic basis for QuestJournal of Functional Programming, 1991, 1 (4), pp.417-458
Article dans une revue
hal-03316279
v1
|
|
|
Constructive natural deduction and its "omega-set" interpretationMathematical Structures in Computer Science, 1991, 1 (2), pp.215-253. ⟨10.1017/S0960129500001298⟩
Article dans une revue
istex
hal-03316282
v1
|
|
A Category-theoretic characterization of functional completenessTheoretical Computer Science, 1990, 70 (2), pp.193-211. ⟨10.1016/0304-3975(90)90122-X⟩
Article dans une revue
hal-03316044
v1
|
|
The Lambda-Calculus: connections to higher type Recursion Theory, Proof-Theory, Category TheoryAnnals of Pure and Applied Logic, 1988, 40, pp.93-133. ⟨10.1016/0168-0072(88)90017-6⟩
Article dans une revue
hal-03318238
v1
|
|
La machine et l’animal.2024
Vidéo
hal-04685270
v1
|
Le cauchemar de Prométhée. Les sciences et leurs limitesPUF, pp.400, 2023, 9782130843085
Ouvrages
hal-04954847
v1
|
|
Matematica e senso. Per non divenir macchineMimesis, pp.236, 2022, 9788857582436
Ouvrages
hal-03933106
v1
|
|
Lois des dieux, des hommes et de la natureSpartacus IDH, pp.162, 2017, 978-2-36693-036-8
Ouvrages
hal-04574707
v1
|
|
Perspectives on Organisms: Biological Time, Symmetries and SingularitiesSpringer, pp.283, 2014, 978-3642359378
Ouvrages
hal-01349797
v1
|
|
Mathematics and the natural sciences. The Physical Singularity of LifeImperial College Press, pp.336, 2011, 1848166931, 9781848166936
Ouvrages
hal-03313753
v1
|
|
Géométrie au XX siècle, 1930 - 2000Hermann, 2004
Ouvrages
hal-03318042
v1
|
|
|
Categories, Types and Structures.MIT Press, pp.1-300, 1991, 0262011255, 978-0262011259
Ouvrages
hal-03316030
v1
|
Emergence vs Novelty Production in Physics vs BiologyOpen Historicity of Life. Theory, epistemology, practice, Marie Chollat-Namy; Maël Montévil; Anton Robert, Nov 2023, Paris ( Ecole normale supérieure), France
Communication dans un congrès
hal-04956931
v1
|
|
|
Confusing biological rhythms and physical clocks Today's ecological relevance of Bergson-Einstein debate on timeWhat is time? Einstein and Bergson 100 years later, Apr 2019, L'Aquilla, Italy
Communication dans un congrès
hal-02903712
v1
|
|
The Deluge of Spurious Correlations in Big DataLois des dieux, des hommes et de la nature, Oct 2015, Nantes, France. pp.1-18, ⟨10.1007/s10699-016-9489-4⟩
Communication dans un congrès
hal-01380626
v1
|
|
How Future Depends on the Past and on Rare Events in Systems of LifeApproches théoriques et modélisation de la diversité biologique: du système immunitaire aux macro-écosystèmes, Oct 2015, Paris, France
Communication dans un congrès
hal-01376411
v1
|
|
Le conseguenze della filosofiaA Plea for Balance in Philosophy, Apr 2014, Florence, Italy
Communication dans un congrès
hal-01380248
v1
|
|
Le modèle comme regard organisateur du réelNaturaliser le modèle, Oct 2013, Chambord, France
Communication dans un congrès
hal-01381806
v1
|
|
Science, Problem Solving and BibliometricsAcademia European Conference on "Use and Abuse of Bibliometrics", May 2013, Stockholm, Sweden
Communication dans un congrès
hal-01380191
v1
|
|
No Entailing Laws, but Enablement in the Evolution of the Biospherethe fourteenth international conference, Jul 2012, Philadelphia, United States. pp.1379, ⟨10.1145/2330784.2330946⟩
Communication dans un congrès
hal-02398759
v1
|
|
Computer modelling and natural phenomena9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, 2003, Helinski, Finland. ⟨10.1145/940071.940072⟩
Communication dans un congrès
hal-03320087
v1
|
|
DNA, differential methods and the Böhm-out technique (written in 2008)2021
Pré-publication, Document de travail
hal-03319640
v1
|
|
THE MATHEMATICS OF COMPUTING BETWEEN LOGIC AND PHYSICS2010
Pré-publication, Document de travail
hal-00496392
v1
|
|
La pandemia ed il «techno-fix», seconda parte 12021
Article de blog scientifique
hal-03936094
v1
|
Quantifying the world and its webs: mathematical discrete vs continua in knowledge construction2016
Autre publication scientifique
hal-01417181
v1
|
|
From the century of the genome to the century of the organism: New theoretical approachesAna M. Soto, Giuseppe Longo (Guest Editors). Progress in Biophysics and Molecular Biology, 122 (1), 2016, From the century of the genome to the century of the organism: new theoritical approaches, ⟨10.1016/j.pbiomolbio.2016.09.011⟩
N°spécial de revue/special issue
hal-01413480
v1
|
Chargement...
Chargement...