Accéder directement au contenu

Giuseppe Longo

113
Documents

Publications

Qu’est-ce qu’écrire une loi ? L’écriture informatique en science et en droit

Jean Lassègue , Giuseppe Longo
Samantha 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-04043555v1
Image document

Thinking beyond the "epidemic of epidemics"

Giuseppe Longo
Penser l'épidémie Covid-19 autrement, Institut d'Etudes Avancées de Nantes, 2020
Chapitre d'ouvrage hal-02904208v1
Image document

Penser au-delà de l'« épidémie d'épidémies »

Giuseppe Longo
Penser l'épidémie Covid-19 autrement, Institut d'Etudes Avancées de Nantes, 2020
Chapitre d'ouvrage hal-02904203v1
Image document

Qu'est-ce qu'écrire une loi ? L'écriture informatique en science et en droit

Jean Lassègue , Giuseppe Longo
Samantha Besson et Samuel Jubé (curateurs). Concerter les civilisations - Mélanges en l'honneur d'Alain Supiot, Seuil, 2020, 9782021440577
Chapitre d'ouvrage hal-02904222v1
Image document

Corrélations artificielles vs intelligence des causes De la méthode scientifique : les données suffisent-elles ?

Giuseppe Longo
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-02904022v1
Image document

Des hommes et des machines : comment reconnaitre une caricature ?

Giuseppe Longo
Actes du colloque "Le travail au XXIème siècle : Droit, techniques, écoumène", 2020
Chapitre d'ouvrage hal-02903910v1
Image document

Information, science and democracy, for an ethics of scientific knowledge

Giuseppe Longo
Fabris, Adriano. Trust, 54, Springer, pp.63-79, 2020, Studies in Applied Philosophy, Epistemology and Rational Ethics, 10: 3030440176, 978-3030440176
Chapitre d'ouvrage hal-02904192v1
Image document

Anthropocène, Exosomatisation et Néguentropie

Maël Montévil , Bernard Stiegler , Giuseppe Longo , Ana Soto , Carlos Sonnenschein
Stiegler, Bernard. Bifurquer Il n'y a pas d'alternative, ‎ Les Liens Qui Libèrent, 2020, 979-10-209-0856-8
Chapitre d'ouvrage hal-03320846v1
Image document

Information at the Threshold of Interpretation, Science as Human Construction of Sense.

Giuseppe Longo
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-02903688v1
Image document

Big Data and Biological Knowledge

Maël Montévil , Giuseppe Longo
CNR Edizioni. Prediction and Contingency in Biosciences, pp.133-144, 2018
Chapitre d'ouvrage hal-02398776v1
Image document

Interfaces of Incompleteness

Giuseppe Longo
Minati, Gianfranco; Abram, Mario R.; Pessa, Eliano. Systemics of Incompleteness and Quasi-Systems, Springer, 2018, 3030152766, 978-3030152765
Chapitre d'ouvrage hal-02903234v1
Image document

Digital networks, knowledge and political biases in their understanding and use

Giuseppe Longo , Lorenzo Seno
Philosophy of Internet and the Hermeneutic Web, MIT Press, 2018
Chapitre d'ouvrage hal-02904229v1
Image document

Du siècle du gène à celui de l'organisme : introduction à de nouvelles perspectives théoriques

Maël Montévil , Giuseppe Longo , Ana Soto
Sciences de la vie, sciences de l'information, 2017
Chapitre d'ouvrage hal-02398770v1
Image document

Big Data et connaissance biologique

Giuseppe Longo , Maël Montévil
Sciences de la vie, sciences de l'information, 2017
Chapitre d'ouvrage hal-02398771v1
Image document

Comparing Symmetries in Models and Simulations

Giuseppe Longo , Maël Montévil
Springer Handbook of Model-Based Science, 2017, ⟨10.1007/978-3-319-30526-4⟩
Chapitre d'ouvrage hal-01380014v2
Image document

A review-essay on reductionism: some reasons for reading "Reductionism, Emergence and Levels of Reality. The Importance of Being Borderline"

Giuseppe Longo
Reductionism, Emergence and Levels of Reality. The Importance of Being Borderline, 2016, 978-3-319-06361-4
Chapitre d'ouvrage hal-01380686v1
Image document

Quantifying the world and its webs: mathematical discrete vs continua in knowledge construction

Giuseppe Longo
Lettres à Alan Turing, 2016, 9782362800979
Chapitre d'ouvrage hal-01439236v1
Image document

Anticipation, protension et inertie biologique

Giuseppe Longo , Nicole Perret
Alain Berthoz, Claude Debru. Anticipation et Prédiction. Du geste au voyage mental, Odile Jacob, 2015, 978-2738132482
Chapitre d'ouvrage hal-01381825v1
Image document

The Unconventionality of Nature: Biology, from Noise to Functional Randomness

Barbara Bravi , Giuseppe Longo
Lecture 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-01388288v1
Image document

Perspectives on Organisms: Biological Time, Symmetries and Singularities. Introduction

Giuseppe Longo , Maël Montévil
Giuseppe 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-03318663v1
Image document

Introduction to New Perspectives in Biology

Giuseppe Longo , Maël Montévil
Essays for the Luca Cardelli Fest., 2014
Chapitre d'ouvrage hal-02196169v1
Image document

Preface

Giuseppe Longo , Maël Montévil
Perspectives on Organisms: Biological Time, Symmetries and Singularities, Springer, 2014, 364235937X, 978-3642359378
Chapitre d'ouvrage hal-03318656v1
Image document

L’incompressible complexité du réel et la construction évolutive du simple

Giuseppe Longo , Maël Montévil , Arnaud Pocheville
Berthoz, Alain; Petit, Jean-Luc. Complexité-Simplexité, Collège de France, 2014
Chapitre d'ouvrage hal-01377260v1
Image document

Randomness Increases Order in Biological Evolution

Giuseppe Longo , Maël Montévil
Dinneen, 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-01450024v2
Image document

Mathematics and the Natural Sciences. The Physical Singularity of Life. Introduction

Francis Bailly , Giuseppe Longo
Mathematics 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-03318542v1
Image document

Some Bridging Results and Challenges in Classical, Quantum and Computational Randomness

Giuseppe Longo , Catuscia Palamidessi , Paul Thierry
Hector Zenil. Randomness Through Computation, World Scientific, pp.NA, 2011
Chapitre d'ouvrage hal-00445553v3
Image document

Randomness and Determination, from Physics and Computing towards Biology

Giuseppe Longo
SOFSEM 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 hal-03319956v1
Image document

Space, time and cognition. From The Standpoint of Mathematics and Natural Science

Francis Bailly° , Giuseppe Longo
Peruzzi, 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-03318945v1
Image document

Some Topologies for Computations

Giuseppe Longo
Joseph 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-03318037v1
Image document

Mémoire et objectivité en mathématiques

Giuseppe Longo
Cartier; Charaud. Le réel en mathématiques, Agalma, 2004
Chapitre d'ouvrage hal-03318824v1
Image document

The Constructed Objectivity of Mathematics and the Cognitive Subject

Giuseppe Longo
Mioara 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-03318906v1
Image document

Lo spazio, i fondamenti della Matematica e la resistibile ascesa della metafora: il cervello è un calcolatore digitale

Giuseppe Longo
L'uomo e le macchine, Olschki, 2002, 9788822251053
Chapitre d'ouvrage hal-03318837v1

Carnap's remarks on Impredicative Definitions and the Genericity Theorem

Thomas Fruchart , Giuseppe Longo
Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Logic and Foundations of Mathematics, Springer, 1999, 978-94-017-2109-7
Chapitre d'ouvrage hal-03318819v1
Image document

The Mathematical Continuum, from Intuition to Logic

Giuseppe Longo
Petitot, 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-03318265v1

Reflections on formalism and reductionism in Logic and Computer Science

Giuseppe Longo
European Conference of Mathematics, pp.202-209, 1992
Chapitre d'ouvrage hal-03318152v1

Reflections on formalism and reductionism in logic and computer science

Giuseppe Longo
Ebbinghaus, 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-03318215v1
Image document

The pandemic and the « techno-fix »

Caroline Petit , Giuseppe Longo
Organisms. Journal of Biological Sciences, inPress, 6 (1), pp.23-39. ⟨10.13133/2532-5876/17680⟩
Article dans une revue hal-03907716v1
Image document

Entropie, Neguentropie et Anti-entropie : le jeu des tensions pour penser le vivant

Marie Chollat-Namy , Giuseppe Longo
ISTE Openscience, 2022
Article dans une revue hal-03933227v1
Image document

Programming Evolution: a Crack in Science

Giuseppe Longo
Organisms. Journal of Biological Sciences, 2021, 5 (1), pp.5-16. ⟨10.13133/2532-5876/17538⟩
Article dans une revue hal-03319842v1

Science in the storm

Giuseppe Longo
Philosophy World Democracy Journal, 2021, Agnotology, Artificial Intelligence, and Democracy (Special issue: " The dusk of theoretical controversies in current sciences.")
Article dans une revue hal-03936153v1

Introduction

V. Chaix , Giuseppe Longo , Maël Montévil
Philosophy World Democracy Journal, 2021, Special issue: " The dusk of theoretical controversies in current sciences."
Article dans une revue hal-03936231v1
Image document

From axiomatic systems to the Dogmatic gene and beyond

Giuseppe Longo
Journal of Biosystems, 2021
Article dans une revue hal-03319582v1
Image document

Infinity of God and Space of Men in Painting, Conditions of Possibility for the Scientific Revolution

Giuseppe Longo , Sara Longo
Mathematics in the Visual Arts, 2020
Article dans une revue hal-02904061v1
Image document

Naturalizing Physics Or, embedding physics in the historicity and materiality of the living

Giuseppe Longo
La Deleuziana - Online JOurnal Of Philosophy, 2020, Special issue on “Differential Heterogenesis: Deleuze, Mathematics And The Creation Of Forms”, 11
Article dans une revue hal-02903742v1

Among the trees: iterating geneses of forms, in art and in nature

Giuseppe Longo , Sara Longo
ISTE Openscience, 2020
Article dans une revue hal-02904049v1
Image document

Letter to Alan Turing

Giuseppe Longo
Theory, Culture and Society, 2019, 36 (6), pp.73-94. ⟨10.1177/0263276418769733⟩
Article dans une revue hal-02903799v1
Image document

From physics to biology by extending criticality and symmetry breakings: an update

Giuseppe Longo , Maël Montévil
Acta Europeana Systemica, 2019, 9, pp.77 - 92. ⟨10.14428/aes.v9i1.56043⟩
Article dans une revue hal-03478496v1
Image document

Information and Causality: Mathematical Reflections on Cancer Biology

Giuseppe Longo
Organisms. Journal of Biological Sciences, 2018, 2 (1), pp.83-104. ⟨10.13133/2532-5876_3.15⟩
Article dans une revue hal-02903214v1
Image document

From logic to biology via physics: a survey

Giuseppe Longo , Maël Montévil
Logical Methods in Computer Science, 2017, 13 (4), pp.1-15. ⟨10.23638/LMCS-13(4:21)2017⟩
Article dans une revue hal-01377051v2
Image document

Theoretical principles for biology: organization

Matteo Mossio , Maël Montévil , Giuseppe Longo
Progress 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-01354872v2
Image document

Theoretical principles for biology: Variation

Maël Montévil , Matteo Mossio , Arnaud Pocheville , Giuseppe Longo
Progress 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-01379202v2
Image document

Toward a theory of organisms: Three founding principles in search of a useful integration

Ana Soto , Giuseppe Longo , Paul-Antoine Miquel , Maël Montévil , Matteo Mossio
Progress 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-01413497v2
Image document

Classical, quantum and biological randomness as relative unpredictability

Cristian S Calude , Giuseppe Longo
Natural Computing, 2016, 15 (2), pp.263-278. ⟨10.1007/s11047-015-9533-2⟩
Article dans une revue hal-01380600v1

Preface to “From the century of the genome to the century of the organism: New theoretical approaches”

Ana M. Soto , Giuseppe Longo , D. Noble
Progress in Biophysics and Molecular Biology, 2016, 122 (1), pp.1-3. ⟨10.1016/j.pbiomolbio.2016.09.011⟩
Article dans une revue hal-03574501v1
Image document

Why do we need theories?

Giuseppe Longo , Ana Soto
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-01413488v1
Image document

Reductionist perspectives and the notion of information

Nicole Perret , Giuseppe Longo
Progress 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-01377071v1
Image document

The biological default state of cell proliferation with variation and motility, a fundamental principle for a theory of organisms

Ana Soto , Giuseppe Longo , Maël Montévil , Carlos Sonnenschein
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.16 - 23. ⟨10.1016/j.pbiomolbio.2016.06.006⟩
Article dans une revue hal-01413495v2
Image document

In search of principles for a Theory of Organisms

Giuseppe Longo , Maël Montévil , Carlos Sonnenschein , Ana Soto
Journal of Biosciences, 2015, 40 (5), ⟨10.1007/s12038-015-9574-9⟩
Article dans une revue hal-01253484v1
Image document

Synthetic Philosophy of Mathematics and Natural Sciences Conceptual analyses from a Grothendieckian Perspective

Giuseppe Longo
Speculations: Journal of Speculative Realism, 2015
Article dans une revue hal-01376235v1
Image document

Economics for a creative world

Roger Koppl , Stuart Kauffman , Giuseppe Longo , Teppo ­­­felin
Journal of Institutional Economics, 2015, 11, pp.1 - 31. ⟨10.1017/S1744137414000150⟩
Article dans une revue hal-01415131v1

MAPPING THE GALAXY COLOR-REDSHIFT RELATION: OPTIMAL PHOTOMETRIC REDSHIFT CALIBRATION STRATEGIES FOR COSMOLOGY SURVEYS

Daniel Masters , Peter Capak , Daniel Stern , Olivier Ilbert , Mara Salvato
The Astrophysical Journal, 2015, 813 (1), ⟨10.1088/0004-637X/813/1/53⟩
Article dans une revue hal-01440001v1

Turing : les images d’une imitation

Giuseppe Longo
Interstices, 2015
Article dans une revue hal-01352763v1
Image document

Economic Opportunity and Evolution: Beyond Landscapes and Bounded Rationality

Teppo Felin , Stuart Kauffman , Roger Koppl , Giuseppe Longo
Strategic Entrepreneurship Journal, 2014, 8, pp.269 - 282. ⟨10.1002/sej.1184⟩
Article dans une revue hal-01415115v1
Image document

Extended criticality, phase spaces and enablement in biology

Giuseppe Longo , Maël Montévil
Chaos, Solitons & Fractals, 2013, Emergent Critical Brain Dynamics, 55, pp.64-79. ⟨10.1016/j.chaos.2013.03.008⟩
Article dans une revue hal-01192911v2
Image document

Incomputability in Physics and Biology

Giuseppe Longo
Mathematical Structures in Computer Science, 2012, 22 (5), pp.880 - 900. ⟨10.1017/s0960129511000569⟩
Article dans une revue hal-03320018v1
Image document

From bottom-up approaches to levels of organization and extended critical transitions.

Giuseppe Longo , Maël Montévil , Arnaud Pocheville
Frontiers in Physiology, 2012, 3, pp.232. ⟨10.3389/fphys.2012.00232⟩
Article dans une revue hal-01192909v1
Image document

Is information a proper observable for biological organization?

Giuseppe Longo , P-A Miquel , C Sonnenschein , A M Soto
Progress in Biophysics and Molecular Biology, 2012, 109, pp.108 - 114. ⟨10.1016/j.pbiomolbio.2012.06.004⟩
Article dans une revue hal-03319792v1
Image document

Protention and retention in biological systems

Giuseppe Longo , Maël Montévil
Theorie in den Biowissenschaften / Theory in Biosciences, 2011, 130 (2), pp.107 - 117. ⟨10.1007/s12064-010-0116-6⟩
Article dans une revue hal-01192905v2
Image document

A 2-dimensional geometry for biological time

Francis Bailly , Giuseppe Longo , Maël Montévil
Progress in Biophysics and Molecular Biology, 2011, 106 (3), pp.474-484. ⟨10.1016/j.pbiomolbio.2011.02.001⟩
Article dans une revue hal-01192903v2
Image document

The Inert vs. the Living State of Matter: Extended Criticality, Time Geometry, Anti-Entropy - An Overview.

Giuseppe Longo , Maël Montévil
Frontiers in Physiology, 2011, 3, pp.39. ⟨10.3389/fphys.2012.00039⟩
Article dans une revue hal-01192906v1
Image document

From physics to biology by extending criticality and symmetry breakings

Giuseppe Longo , Maël Montévil
Progress in Biophysics and Molecular Biology, 2011, 106 (2), pp.340 - 347. ⟨10.1016/j.pbiomolbio.2011.03.005⟩
Article dans une revue hal-01192902v2
Image document

An expression of closure to efficient causation in terms of lambda-calculus

Matteo Mossio , Giuseppe Longo , John Stewart
Journal of Theoretical Biology, 2009, 257 (3), pp.489. ⟨10.1016/j.jtbi.2008.12.012⟩
Article dans une revue hal-00554549v1
Image document

An expression of closure to efficient causation in terms of lambda-calculus 1

Matteo Mossio , Giuseppe Longo , John Stewart
Journal of Theoretical Biology, 2009, 257 (3), pp.489-498
Article dans une revue hal-03319959v1
Image document

A computable expression of closure to efficient causation

Matteo Mossio , Giuseppe Longo , John Stewart
Journal of Theoretical Biology, 2009, 257 (3), pp.489-498. ⟨10.1016/j.jtbi.2008.12.012⟩
Article dans une revue halshs-00791132v1
Image document

Computability and the morphological complexity of some dynamics on continuous domains

Mathieu Hoyrup , Arda Kolçak , Giuseppe Longo
Theoretical Computer Science, 2008, 398 (1-3), pp.170-182. ⟨10.1016/j.tcs.2008.01.048⟩
Article dans une revue hal-03319898v1
Image document

The differential method and the causal incompleteness of Programming Theory in Molecular Biology

Giuseppe Longo , Pierre-Emmanuel Tendero
Foundations of Science, 2007, 12 (4), pp.337-366. ⟨10.1007/s10699-007-9111-x⟩
Article dans une revue hal-03319628v1
Image document

Critical knowledge and positive knowledge: on the importance of negative results.

Giuseppe Longo
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), 2005, 40 (1)
Article dans une revue hal-03320094v1

Sapere critico e sapere positivo: l’importanza dei risultati negativi

Giuseppe Longo
Naturalmente (Fatti e trame delle Scienza), 2005, 18 (3)
Article dans une revue hal-03320095v1
Image document

Espace, temps et cognition. A partir des mathématiques et des sciences de la nature

Francis Bailly , Giuseppe Longo
Revue de synthèse, 2003, 124, ⟨10.1007/bf02963401⟩
Article dans une revue hal-03318948v1

Prototype Proofs in Type Theory

Giuseppe Longo
Mathematical Logic Quaterly, 2000, 46 (3)
Article dans une revue hal-03318025v1

Coherence and Transitivity of Subtyping as Entailment

Giuseppe Longo , Kathleen Milsted , Sergei Soloviev
Journal of Logic and Computation, 2000, 10 (4), pp.493--526. ⟨10.1093/logcom/10.4.493⟩
Article dans une revue hal-03318019v1
Image document

Mathematical Intelligence, Infinity and Machines: beyond the Goedelitis

Giuseppe Longo
Journal of Consciousness Studies, 1999, Special issue on Cognition, vol. 6 (11-12)
Article dans une revue hal-03318820v1
Image document

The difference between Clocks and Todays Computing Machines

Giuseppe Longo
La Nuova Critica, 1997, 29 (1)
Article dans une revue hal-03318227v1

Introduction: est-ce que les calamars font de la Géométrie?

Giuseppe Longo
1997
Article dans une revue hal-03318274v1
Image document

Géométrie, Mouvement, Espace: Cognition et Mathématiques

Giuseppe Longo
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), 1997, 25
Article dans une revue hal-03318277v1

Cerveau, nombres et bon-ordre

Giuseppe Longo
Revue de l'Association Henri Poincare', 1997, 6, pp.6-16
Article dans une revue hal-03318715v1

Subtyping parametric and dependent types

Gang Chen , Giuseppe Longo
Type Theory and Term Rewriting, 1996
Article dans une revue hal-03316472v1

Parametric and type-dependent polymorphism

Giuseppe Longo
Fundamenta Informaticae, 1995, 22 (1-2), pp.69-92
Article dans une revue hal-03316296v1

A calculus for overloaded functions with subtyping

G. Castagna , G. Ghelli , Giuseppe Longo
Information and Computation, 1995, 117 (1), pp.115-135. ⟨10.1006/inco.1995.1033⟩
Article dans une revue hal-03316300v1
Image document

The Genericity Theorem and effective Parametricity in Polymorphic lambda-calculus

Giuseppe Longo , Kathleen Milsted , Sergei Soloviev
Theoretical Computer Science, 1993, 121 (1-2), pp.323-349. ⟨10.1016/0304-3975(93)90093-9⟩
Article dans une revue hal-03316293v1
Image document

Provable isomorphisms of types

Kim Bruce , Roberto Di Cosmo , Giuseppe Longo
Mathematical Structures in Computer Science, 1992, 2 (2), pp.231-247. ⟨10.1017/S0960129500001444⟩
Article dans une revue hal-03316287v1
Image document

Constructive natural deduction and its "omega-set" interpretation

Giuseppe Longo , Eugenio Moggi
Mathematical Structures in Computer Science, 1991, 1 (2), pp.215-253. ⟨10.1017/S0960129500001298⟩
Article dans une revue hal-03316282v1

A semantic basis for Quest

Luca Cardelli , Giuseppe Longo
Journal of Functional Programming, 1991, 1 (4), pp.417-458
Article dans une revue hal-03316279v1

A Category-theoretic characterization of functional completeness

Giuseppe Longo , Eugenio Moggi
Theoretical Computer Science, 1990, 70 (2), pp.193-211. ⟨10.1016/0304-3975(90)90122-X⟩
Article dans une revue hal-03316044v1
Image document

The Lambda-Calculus: connections to higher type Recursion Theory, Proof-Theory, Category Theory

Giuseppe Longo
Annals of Pure and Applied Logic, 1988, 40, pp.93-133. ⟨10.1016/0168-0072(88)90017-6⟩
Article dans une revue hal-03318238v1
Image document

Confusing biological rhythms and physical clocks Today's ecological relevance of Bergson-Einstein debate on time

Giuseppe Longo
What is time? Einstein and Bergson 100 years later, Apr 2019, L'Aquilla, Italy
Communication dans un congrès hal-02903712v1
Image document

How Future Depends on the Past and on Rare Events in Systems of Life

Giuseppe Longo
Approches 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-01376411v1
Image document

The Deluge of Spurious Correlations in Big Data

Cristian S Calude , Giuseppe Longo
Lois 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-01380626v1
Image document

Le conseguenze della filosofia

Giuseppe Longo
A Plea for Balance in Philosophy, Apr 2014, Florence, Italy
Communication dans un congrès hal-01380248v1
Image document

Le modèle comme regard organisateur du réel

Giuseppe Longo , Nabil Zakhama
Naturaliser le modèle, Oct 2013, Chambord, France
Communication dans un congrès hal-01381806v1
Image document

Science, Problem Solving and Bibliometrics

Giuseppe Longo
Academia European Conference on "Use and Abuse of Bibliometrics", May 2013, Stockholm, Sweden
Communication dans un congrès hal-01380191v1
Image document

No Entailing Laws, but Enablement in the Evolution of the Biosphere

Giuseppe Longo , Maël Montévil , Stuart Kauffman
the fourteenth international conference, Jul 2012, Philadelphia, United States. pp.1379, ⟨10.1145/2330784.2330946⟩
Communication dans un congrès hal-02398759v1
Image document

Computer modelling and natural phenomena

Giuseppe Longo
9th 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-03320087v1
Image document

From the century of the genome to the century of the organism: New theoretical approaches

Ana Soto , Giuseppe Longo , Denis Noble
Ana 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-01413480v1