Selected publications by Giuseppe Longo,
available as .dvi, .ps (some gzipped) or .pdf files by ftp


  1 -   Mathematical  Logic  and  Computer  Science.
  2 -   Cognition  and  Foundations  of  Mathematical  Knowledge.
  3 -   Theoretical  Biology.
  4 -   Interfaces Computability, Physics and Biology.
  5 -   Minima   philosophica.

 
 
1 - Mathematical  Logic  and  Computer  Science   (selection after 1990; for about 70 more papers see frListPubSept10.pdf)
 

Title

Download in dvi gz or pdf format

Download in ps or ps gz format

Book:
Andrea Asperti and Giuseppe Longo. Categories, Types and Structures. Category Theory for the working computer scientist. M.I.T. Press, 1991 (pp. 1 - 300)
(currently out of print and downloadable upon kind permission of the M.I.T. Press).

 The entire book (.pdf)

The entire book (.ps-tar)
 
  Chapter-by-chapter:   Preface&Contents (and direct ftp addresses), Ch.1, Ch.2, Ch.3, Ch.4, Ch.5, Ch.6, Ch.7, Ch.8, Ch.9, Ch.10, Ch.11, Ch.12.

Giuseppe Longo and Eugenio Moggi . A Category-theoretic characterization of functional completeness. . Theoretical Computer Science, 70 (2), 1990, pp.193-211.

funct-compl.ps.gz

Luca Cardelli and Giuseppe Longo. A semantic basis for Quest. Journal of Functional Programming, 1 (4), pp. 417-458, October 1991.

quest-sem.ps.gz

Giuseppe Longo and Eugenio Moggi. Constructive natural deduction and its "omega-set" interpretation. Mathematical Structures in Computer Science, 1(2):215--253, 1991.

 

omegaSetModel.ps.gz 

Kim Bruce, Roberto Di Cosmo, and Giuseppe Longo. Provable isomorphisms of types. Special issue: Mathematical Structures in Computer Science, 2(2):231--247, 1992. Longo's Invited Lecture, Proceedings of the Symposium on Symbolic Computation, E.T.H. Zuerich, March 1990.

 

provable-isos.ps.gz 

Giuseppe Longo, Kathleen Milsted, and Sergei Soloviev. The Genericity Theorem and effective Parametricity in Polymorphic lambda-calculus. Theoretical Computer Science, 121:323--349, 1993. Invited paper, special issue of T.C.S. "A Collection of contributions in honour of Corrado Boehm" (Preliminary Version: IEEE Conference on Logic in Computer Science (LICS 93), pp. 1-6, Montreal, Jan. 1993).

Preface-Important, in text format 
genericity.dvi.Z 

Preface-Important, in text format 
genericity.ps.Z 

Giuseppe Longo. Parametric and type-dependent polymorphism. Fundamenta Informaticae, 22(1-2):69--92, 1995. Invited paper, special issue on "Categorical Methods in Computer Science".

 

polymorphismSurvey.ps.gz 

G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Information and Computation, 117(1):115-135. Academic Press, 1995.

Lambda&.ps.Z 

Giuseppe Longo, Kathleen Milsted, and Sergei Soloviev. A Logic of Subtyping. (Full paper; extended abstract in Logic in Computer Science (LICS), pages 292--300. IEEE, 1995. San Diego, June 1995.)

logicSubtyping.dvi.Z  

logicSubtyping.ps.Z 

Gang Chen and Giuseppe Longo. Subtyping parametric and dependent types. Longo's Invited Lecture, School on Type Theory and Term Rewriting, September, 1996.

subtypeSurvey.dvi.gz 

Giuseppe Longo, Kathleen Milsted, and Sergei Soloviev. Coherence and Transitivity of Subtyping as Entailment. Journal of Logic and Computation, vol. 10: 4, pp. 493--526, August 2000.

coheren-subtype.dvi.gz 

 

Giuseppe Longo. Prototype Proofs in Type Theory Mathematical Logic Quaterly, vol. 46, n. 3, 2000 (formely: Zeitscrift f. Math. Logik u. Grundlagen der Math.).

proto-proofs.dvi.ps.gz 

Giuseppe Longo. Some Topologies for Computations. Invited Lecture, proceedings of Géométrie au XX siècle, 1930 - 2000 (2001), Hermann, Paris, 2004.

topol-comp.pdf 

topol-comp.ps 

 
 

2 - Cognition  and  Foundations  of  Mathematical  Knowledge:
  (Directions for downloading, Mac and PC users: see end-note)
 

Giuseppe Longo. Logic as a Foundation and as a Tool in Computer Science (two papers):
1 - Reflections on formalism and reductionism in Logic and Computer Science. In European Conference of Mathematics 1992, pages 202 --  209. Panel on Foundations, Invited Lecture (A. Joseph et al., eds). Birkhauser, 1994.
2 - Some aspects of impredicativity: Weyl's philosophy of mathematics and today's Type Theory. In Logic Colloquium 87 (European Summer Meeting of the A.S.L.), pages 241--274. Invited Lecture (revised) (Ebbinghaus et al., eds). North-Holland, 1989.            (types-impred-weyl.ps)    (types-impred-weyl.pdf)
 

Giuseppe Longo. The difference between Clocks and Todays Computing Machines. Invited Lecture at ``Models of Cognition and Complexity Theory'', Roma, Novembre 1995. La Nuova Critica, 29 (1), 1997. Reprinted in Functional Models of Cognition, Kluwer, 1999.           (clocksVStodayM.ps )  (clocksVtodayM.pdf )
 

Giuseppe Longo.  The Lambda-Calculus: connections to higher type Recursion Theory, Proof-Theory, Category Theory. A short (advanced) course on lambda-calculus and its mathematics, Spring 1996. (These notes are based on an invited lecture delivered at the Conference, "Church's Thesis after 50 years" Zeiss (NL), June 1986 ("On Church's Formal Theory of Functions and Functionals", published in Annals Pure Appl. Logic, 40: 93-133, 1988).         (church-notes.ps)    (church-notes.pdf)   
 

Giuseppe Longo.  The Mathematical Continuum, from Intuition to Logic. In Naturalizing Phenomenology (section on Mathematics and Formal Methods). Invited Paper, (Petitot et al eds.) Stanford University Press, 1999.
  (the-continuum.ps )   (the-continuum.pdf )
 

Giuseppe Longo.  De la Cognition à la Géométrie :
1 - Introduction: est-ce que les calamars font de la Géométrie? Compte rendu du livre "Les anatomies de la pensée'', par A. Prochiantz, Odile-Jacob, 1997. À paraître dans Les Archives de Philosophie.
2 - Géométrie, Mouvement, Espace: Cognition et Mathématiques . À partir du livre "Le sens du mouvement'', par A. Berthoz, Odile-Jacob, 1997. Intellectica, n.25, 1997.              (cogni-geometrie.ps)    (cogni-geometrie.pdf)
 

Giuseppe Longo.  Cerveau, nombres et bon-ordre, à partir du livre "La bosse des maths'', par S. Dehaene, Odile-Jacob, 1997.   Revue de l'Association Henri Poincare', n. 6, pp. 6-16, Juin, 1997.  (dehaene-français.ps)  (dehaene-français.pdf)
 

Giuseppe Longo.  Principi di prova e principi di costruzione.  Riflettendo sul libro "Le ragioni della Logica" di C. Cellucci, Laterza, 1998.            (cellucci-rev.ps)    (cellucci-rev.pdf)
 

Giuseppe Longo.  Mathematics and the Biological Phenomena.  Invited lecture, proceedings of the International Symposium on Foundations in Mathematics and Biology: Problems, Prospects, Interactions (Basti, ed.), Pontifical Lateran University, Vatican City, November, 1998.            (math-biophen.ps)    (math-biophen.pdf)
 

Thomas Fruchart and Giuseppe Longo. Carnap's remarks on Impredicative Definitions and the Genericity Theorem. In Logic and Foundations of Mathematics (Cantini et al. eds). Kluwer Academic Publishers, 1999.            (carnapImpred.dvi)    (carnapImpred.ps)
   

Giuseppe Longo.  Mathematical Intelligence, Infinity and Machines: beyond the Goedelitis.  Invited paper, Journal of Consciousness Studies, special issue on Cognition, vol. 6, n. 11-12, 1999.         (incompl-inf.dvi.ps)    (incompl-inf.dvi.pdf)
A preliminary french version of this paper appeared as "L'intelligence mathématique, l'infini et les machines."   Article invitée, Revue de Synthèse, n. 1, Paris, 1999.        
 

Giuseppe Longo.  Mémoire et objectivité en mathématiques.  Conférence invitée, actes du Colloque Le réel en mathématiques (Cérisy, septembre 1999), Presses de la Rue d'Ulm (Cartier et Charaud eds.), 2003.            (memoire.ps)    (memoire.pdf)
 

Giuseppe Longo.  Cercles vicieux, Mathématiques et formalisations logiques. Conférence Invitée, parue dans Mathématiques, Informatique et Sciences Humaines, n. 152, 2000.           (cercles-vicieux.pdf)             (cercles-vicieux.ps)
 

Giuseppe Longo.  Lo spazio, i fondamenti della Matematica e la resistibile ascesa della metafora: il cervello è un calcolatore digitale.   Lezione tenuta a Firenze, nell'ambito del ciclo "Sapere e Narrare: l'uomo e le macchine", Istituto di Studi Filosofici, Gabinetto Vissieux, Palazzo Strozzi, novembre 1999. Apparso in "L'uomo e le macchine", a cura di M. Bresciani Califano, Leo S. Olschki, Firenze, 2002.            (metafora-resist.pdf)
 

Giuseppe Longo.  The Constructed Objectivity of Mathematics and the Cognitive Subject.   In "Quantum Mechanics, Mathematics, Cognition and Action - Proposals in Epistemolgy." (M. Mugur-Schachter ed.), Kluwer, pp. 433-463, 2002.           (constr-obj.ps)    (constr-obj.pdf)
 

Giuseppe Longo.  Proofs and Programs (Type Theory: an introduction, some reflections).  Synthese, vol. 134, nos. 1-2, pp. 85-117, Kluwer, Boston, 2003.           (proofs-progr.ps)    (proofs-progr.pdf)
 

Giuseppe Longo.  Space and Time in the Foundations of Mathematics, or some challenges in the interactions with other sciences. Invited lecture, First AMS/SMF meeting, Lyon, July, 2001.      (space-time.ps)   (space-time.pdf)
(french version in Intellectica, 2003/1-2, n. 36-37,      (espace-temps.ps)   (espace-temps.pdf))
 

Francis Bailly, Giuseppe Longo.  Space, time and cognition. From The Standpoint of Mathematics and Natural Science. Invited paper, Mind and Causality, (Peruzzi ed.), Benjamins, Amsterdam, pp. 149-199, 2004.      (space-cogni.ps)   (space-cogni.pdf) ).
(Version française "Espace, temps et cognition. A partir des mathématiques et des sciences de la nature".  Revue de Synthèse, Presses de la rue d'Ulm, Paris, tome 124, 2003.      (espace-cogni.ps)   (espace-cogni.pdf) ).
 

  Giuseppe Longo. The Cognitive Foundations of Mathematics: human gestures in proofs, in Images and Reasoning, (M. Okada et al. eds.), Keio University Press, Tokio, pp. 105-134, 2005: incompl-images.pdf   (version préliminaire en fran,cais, étendue par un texte avec Francis Bailly, in Il pensiero filosofico di Giulio Preti, (Parrini, Scarantino eds.), Guerrini ed associati, Milano, 2004, pp. 305 - 340.    (incompl-incert.pdf))
 

Giuseppe Longo.  The reasonable effectiveness of Mathematics and its Cognitive roots.  In Geometries of Nature, Living Systems and Human Cognition   series in "New Interactions of Mathematics with Natural Sciences and Humaties" (L. Boi ed.), World Scientific, pp. 351 - 382, 2005.        (reason-effect.pdf)
 

Giuseppe Longo.  Laplace, Turing and the "imitation game" impossible geometry: randomness, determinism and programs in Turing's test. In Epstein, R., Roberts, G., & Beber, G.  (Eds.).  Parsing the Turing Test, pp. 377-413, Springer, 2008.      (turing-game.pdf)     (version préliminaire en français in Intellectica, n. 35, 2002/2, pp. 131-162:     (turing-jeu.ps)   (turing-jeu.pdf);   suivi d'une réponse aux commentaires publiés par la revue:  Continu vs. discret et régimes de causalité., pp. 199-216  (reponse-jeu.ps)   (reponse-jeu.pdf)).
 

Giuseppe Longo. Mathematical Concepts and Physical Objects, in Rediscovering phenomenology, (L. Boi, P. Kerszberg, F. Patras eds.), Springer, 2007: ( conc-phys-obj.pdf).   (Capitolo tradotto dal francese da M. Castellana per il volume “Per una epistemologia dei contenuti” (Castellana ed.), Bari, 2007. (FondMatFys.pdf))
 

Francis Bailly, Giuseppe Longo.  Phenomenology of Incompleteness: from Formal Deductions to Mathematics and Physics. In Deduction, Computation, Experiment (Lupacchini ed.), Springer, 2008.       (incomplet-Bo.pdf)
 

Giuseppe Longo.  Theorems as Constructive Visions. Invited Lecture, Proceedings of ICMI 19 conference on Proof and Proving, Taipei, Taiwan, May 10 - 15, 2009, (Hanna, de Villiers eds.) Springer, 2010.       (proof-visions.pdf)
 

 Giuseppe Longo, Arnaud Viarouge.  Mathematical intuition and the cognitive roots of mathematical concepts. Invited paper, Topoi, Special issue on Mathematical knowledge: Intuition, visualization, and understanding (Horsten L., Starikova I., eds), Vol. 29, n. 1, pp. 15-27, 2010.       (TopoiIntuitCogni.pdf)
 

 Giuseppe Longo. Reflections on (Concrete) Incompleteness, in Philosophia Mathematica, 19(3): 255-280, 2011.       (Incompl-PhiloMath.pdf)
(revised version of On the proofs of some formally unprovable propositions and Prototype Proofs in Type Theory. Invited Lecture, Types for Proofs and Programs, Durham, (GB), Dec. 2000; LNCS, vol 2277 (Callaghan et al. eds), pp. 160 - 180, Springer, 2002)
 


 

3 - Theoretical  Biology:
 

Francis Bailly, Giuseppe Longo.  Objective and Epistemic Complexity in Biology.  Invited lecture, Proceedings of the International Conference on Theoretical Neurobiology, (N. D. Singh, ed.), National Brain Research Centre, New Delhi, INDIA , 2003, pp. 62 - 79.   (obj-epi-complex.pdf)
 

Giuseppe Longo, Pierre-E. Tendero.  The differential method and the causal incompleteness of Programming Theory in Molecular BiologyIn  Foundations of Science, n. 12, pp. 337-366, 2007   (DNA-incompl.pdf
(A preliminary and longer french version is in   "Evolution des concepts fondateurs de la biologie du XXIe siècle", (Miquel ed.) DeBoeck, Paris, 2008   (alphaMdT-ADN.pdf);   una traduzione in italiano e' apparsa a cura di e per Naturalmente).
 

Francis Bailly, Giuseppe Longo.  Extended Critical Situations,  in J. of Biological Systems, Vol. 16, No. 2, pp. 309-336, June 2008.   (extend-criticJBS.html  or   extend-critic.pdf)    (A preliminary french version was a ``conférence invitée'' aux Actes du Colloque "Détermination et complexité", Cerisy, (P. Bourgine, ed.) La Découverte, Paris, 2008.   (situa-critiq.pdf) )
 

Francis Bailly, Giuseppe Longo.  Schèmes géométrique pour le temps biologique.  In "Sciences du vivant et phénoménologie de la vie" (P.A. Miquel, ed.), n. 14, Noesis-Vrin, automne 2008.   (geo-temps.pdf).   
 

Francis Bailly, Giuseppe Longo.  Biological Organization and Anti-Entropy.   In J. Biological Systems, Vol. 17, No. 1, pp. 63-96, 2009.   (anti-entropy.pdf)
 

Francis Bailly, Giuseppe Longo, Maël Montévil.    A 2-dimensional Geometry for Biological Time In Progress in Biophysics and Molecular Biology: vol. 106, n. 3, pp. 474 – 484, 2011.    (2-dimTime.pdf).   
 

Giuseppe Longo, Maël Montévil.    Protention and retention in biological systemsIn Theory in Biosciences: Vol. 130, Issue 2, pp. 107-117, 2011.    (proret.pdf).   
 

Giuseppe Longo, Maël Montévil.    From Physics to Biology by Extending Criticality and Symmetry Breakings Invited paper, special issue of Progress in Biophysics and Molecular Biology: 106(2):340 – 347, 2011.    (symmExtCrit.pdf).   
 

Giuseppe Longo, Maël Montévil.    Randomness Increases Order in Biological Evolution Invited paper, conference on ''Computations, Physics and Beyond'', Auckland, New Zealand, February 21-24, 2012; LNCS vol. 7318 (Dinneen et al. eds), pp. 289 - 308, Springer, 2012.    (anti-entrNZ.pdf).    (Also an invited lecture at the Conference in Honor of S.J. Gould, Venice (It.), May 10 - 12, 2012)
 

Giuseppe Longo, Maël Montévil.    The Inert vs. the Living State of Matter: Extended Criticality, Time Geometry, Anti-Entropy - an overview Invited paper, special issue of Frontiers in Physiology, n. 3, 39, 2012.    (inertVSlife.pdf).   
 

Giuseppe Longo, Maël Montévil, Stuart Kauffman.    No entailing laws, but enablement in the evolution of the biosphereInvited Paper, Genetic and Evolutionary Computation Conference, GECCO’12, July 7-11, 2012, Philadelphia (PA, USA); proceedings, ACM 2012.   (noentail.pdf).    Preliminary version:.   (arxiv.org/abs/1201.2069).      
 

Giuseppe Longo, Maël Montévil, Arnaud Pocheville.    From bottom-up approaches to levels of organization and extended critical transitions. Invited Paper, Frontiers in Physiology, 3: 232, July 2012.   (FromBottomLMP.pdf).
 

Giuseppe Longo, Paul-Antoine Miquel, Carlos Sonnenschein, Ana Soto.    Is Information a proper observable for biological organization? In Progress in Biophysics and Molecular Biology, Volume 109, Issue 3, pp. 108-114, August 2012.   (LMSSweb.pdf).
 

Marcello Buiatti, Giuseppe Longo.    Randomness and Multi-level Interactions in Biology Theory in Biosciences, vol. 132, n. 3:139-158, 2013.   (BuiattiLongo2.pdf).
 

Giuseppe Longo, Maël Montévil.    Extended Criticality, Phase Spaces and Enablement in Biology. Invited Paper, Special Issue of Chaos, Solitons and Fractals, 2013.   (ExtCritEnable.pdf).
 


 

4 - Interfaces Computability, Physics and Biology:
 

Francis Bailly, Giuseppe Longo.  Randomness and Determination in the interplay between the Continuum and the Discrete. Special issue: Mathematical Structures in Computer Science 17(2), pp. 289-307, 2007  (DiscrContRand.pdf).
 

Francis Bailly, Giuseppe Longo.  Causes and Symmetries. The Continuum and the discrete in Mathematical Modelling.   in More Geometrico (Giorello et al. Eds.) Elsevier, 2008.  (cause-symMoreGeo.pdf) ( A preliminary french version was a conférence invitée, aux Actes du Colloque Logique et intéraction: pour une géométrie de la cognition (J. B. Joinet ed.), Presses Universitaires de la Sorbonne, 2008.      (cause-cont.ps)   (cause-cont.pdf)).
 

Mathieu Hoyrup, Arda Kolcak, Giuseppe Longo.  Computability and the Morphological Complexity of some dynamics on Continuous Domains. Invited survey, Theoretical Computer Science, n. 398, pp. 170-182, 2008.   (CIM/comp-dynam.pdf)   
 

Giuseppe Longo.  From exact sciences to life phenomena: following Schrödinger and Turing on Programs, Life and Causality. Concluding lecture at "From Type Theory to Morphological Complexity: A Colloquium in Honor of Giuseppe Longo." In Information and Computation, special issue, n. 207, pp. 545-558, 2009.   (longoConf-english.pdf)  (Version française dans "Explication, modélisation et simulation en Biologie" (Barberousse et al. dir.), éd. Syllepse, Paris, 2008.)  
 

Giuseppe Longo.  Randomness and Determination, from Physics and Computing towards Biology. Invited Lecture at the 5th International Conference on: Current Trends in Theory and Practice of Computer Science, Spindleruv mlyn (Czech Republic), January 24-30, 2009. In Lecture Notes in Computer Science, LNCS 5404, 49-62, Springer, 2009. (random-determ.pdf
 

Matteo Mossio, Giuseppe Longo, John Stewart.  Computability of closure to efficient causation.   In, J. of Theoretical Biology, 257, 3, pp. 489-498, 2009.   (comp-closure.pdf).   
 

Giuseppe Longo, Thierry Paul.  The Mathematics of Computing between Logic and Physics.  Invited paper, "Computability in Context: Computation and Logic in the Real World", (Cooper, Sorbi eds), pp. 243 - 274, Imperial College Press, 2010.            (gius-thierCompWorld.pdf)
 

  Giuseppe Longo, Catuscia Palamidessi, Thierry Paul.  Some bridging results and challenges in classical, quantum and computational randomness.  In "Randomness through Computation", H. Zenil (ed), pp. 73–92, World Scientific, 2010.     (answersRandom.pdf)
 

  Giuseppe Longo.  Interfaces of Incompleteness,   (English: Incompleteness.pdf)   (version française: à paraître :   Incompletude.pdf)   (Originale in italiano per "La Matematica", vol. 4, pp. 219 - 262, Einaudi, 2010:    Incompletezza.pdf))      
 

Giuseppe Longo.  Incomputability in Physics and Biology.  Invited Lecture, Proceedings of Computability in Europe, Azores, Pt, June 30 - July 4, LNCS 6158, Springer, 2010.    (revised version in: Mathematical Structures in Computer Science, Vol. 22, n. 5, Special Issue, pp. 880 - 900, octobre 2012). (incomput-phys-bio.pdf
 

Giuseppe Longo, Maël Montévil.    Models vs. Simulations: a comparison by their Theoretical Symmetries. Invited Paper, Springer Handbook of Model-Based Science, to appear, 2015.   (LoMonModelsSym.pdf).
 


 

5 - Minima philosophica:

  G. Longo.  Laplace (A note on incompleteness).  An item of J-Y. Girard's Logic Dictionnary , at the end of "Locus Solum", MSCS, vol.11, n.3, Cambridge Univ. Press, 2001.           (laplace.pdf)
 

  G. Longo.  Computer Modelling and Natural Phenomena.   Invited Lecture, Proceedings of the European Software Engineering Conference and ACM SIGSOFT Symposium, Helsinki, Finland, September 1-5, ACM Proceedings, New York, 2003. pp. 1 - 5.     (comp-model.ps)   (comp-model.pdf)
 

  G. Longo.  On the Relevance of Negative Results.   Conférence ''Négation, dualité, polarité”, Marseille, 2008 (proceedings in Influxus, [En ligne/Online Journal], 21 novembre 2012. URL : http://www.influxus.eu/article474.html - Consulté le 5 mars 2013:  neg-resCE.pdf)    (A preliminary version in French of the first part appeared in Intellectica, vol. 40, n.1, 2005: neg-results.pdf;   tradotta in italiano, a cura di e per Naturalmente, anno 18, 3, 9/2005:  natural-neg-res.pdf)
 

  G. Longo.  Pensiero laico ed assoluti: i paradigmi della scienzaIn  Naturalmente, anno 19, 1, 10/2006.  (laico-assol.pdf)   (en fran,cais:    (laic-absol-fr.pdf)

  B. Saulnier, G. Longo.  Complexité et structures conceptuelles : les rapports inter-théoriques comme lieu de la signification et la question de l’expérience.  Conférence invitée aux Actes du Colloque "Intelligence de la complexité", Cérisy, Juin 2006, (Le Moigne, Morin, eds.), Editions de l’aube, Paris, 2007.     (complex-cerisy.pdf)
 

  G. Longo.  Discreto e continuo.  Introduzione (con R. Fabbrichesi) ed intervista al Convegno "Discreto e continuo", Gargnano, 5 - 7 ottobre, 2006 (apparso in Dedalus, n.2-3, 2007).            (discr-cont.pdf)
 

  G. Longo. "La singolarità fisica del vivente", Convegno, "I 90 anni di Pietro Omodeo", Pisa, feb. 2009: (trascrizione della presentazione orale: Omodeo)
 

  G. Longo.  Critique of Computational Reason in the Natural Sciences, In "Fundamental Concepts in Computer Science"   (E. Gelenbe and J.-P. Kahane, eds.), Imperial College Press, pp. 43-70, 2009   (CritiqCompReason-engl.pdf).      Versione preliminare in italiano:   Lezione Galileana, Pisa, Ottobre 2006; apparso in Pianeta Galileo (Peruzzi ed.), Firenze, 2007     (lez-galileana.pdf).
 

  G. Longo.  Prefazione.  A "Besinnung: scienza, complessità e fenomenologia", di Fausto Fraisopi, Aracne, Roma, 2009.       (prefaz-fraisopi.pdf)
 

  G. Longo.  Hommage à Francis Bailly, 5 février, 2009.       (HommageDecesBailly.pdf)
 

  G. Frezza, G. Longo.  "Variations on the theme of invariants: conceptual and mathematical dualities in physics vs biology,  in "Human Evolution", vol. 25, n. 3-4, pp. 167-172, 2010.     (variant-invariant.pdf)       (Versione preliminare in italiano in "Metafore del vivente", (a cura di) Gagliasso E. e Frezza G., FrancoAngeli, Milano 2010.    (Cross-over.pdf))
 

  G. Longo.  La rationalité mathématique et les formes de la connaissance : esquisse d’un projet entre mathématiques et cognition.  In "Geometria, intuizione, esperienza", Centro Enriques, Plus Edizioni, Livorno, 2010.            (EnriquesCogniMaths.pdf)
 

  G. Longo.  Symmetries and symmetry-breakings: the fabric of physical interactions and the flow of time.  A review article in "Foundations of Science", Vol. 16, Issue 4, pp. 331-333, 2011.            (Symmet-fabric-interact.pdf)
 

  G. Longo.  L’informatique aux interfaces des savoirs.  Aux actes du Colloque "Ouvrir la logique au monde. Philosophie et mathématique de l'interaction" (Joinet et al. eds), 2009, in Influxus, [En ligne/Online Jounal], le 30 août 2012. URL: http://www.influxus.eu/article444.html            (informatique-savoirs.pdf)
 

  G. Longo.  Mathematical Infinity "in prospettiva" and the Spaces of Possibilities.  In "Visible", a Semiotics Journal, n. 9, 2011    (InfinitySpaceEN.pdf)    (orginal version in French, in "Le formalisme en action : aspects mathématiques et philosophiques", (J. Benoist, T. Paul eds) Hermann, 2013.       (InfiniEspacePhenoMaths.pdf)).      Versione rivista in italiano in "Dianoia. Rivista di Filosofia", numero speciale (A. Angelini ed), n. 19 (2014):   (InfiniEspacePhenoMaths.pdf)
 

 J. Lassègue, G. Longo.  What is Turing’s Comparison between Mechanism and Writing Worth?  Longo's invited lecture, Proceedings of "The Turing Centenary Conference (CiE 2012)", Isaac Newton Institute programme, Cambridge, June 18 - 23, 2012; in Computability in Europe, 2012, LNCS 7318 (S.B. Cooper, A. Dawar, and B. L¨owe, Eds.), pp. 451–462, Springer-Verlag Berlin Heidelberg, 2012.    (lass-longo.pdf)
 

 G. Longo.  Simmetrie e caso in Biologia. Riflettendo di democrazia e scienza.  Atti del convegno "In onore di Marcello Buiatti", Pisa, 2012; (E. Gagliasso ed.), Roma, 2013.    (atti-Buiatti.pdf)
 

 N. Pisanti, G. Longo.  A. M. Turing: dalla macchina a stati discreti alla genesi continua delle forme in biologia.  In "SAPERE", 28 - 31, agosto 2012.    (TuringPisantiLongo.pdf)
 

 G. Longo, N. Perret.  Anticipation, protension et inertie biologique  Article invité, Actes du colloque "Anticipation: biologie, physiologie", Collège de France, (C. Debru ed.), Hermann, Paris, 2013.    (LoPerAnticipation.pdf)
 

 T. Felin, S. Kauffman, R. Koppl, G. Longo.  Economic Opportunity and Evolution: Beyond Bounded Rationality and Phase Space.  In "Strategic Entrepreneurship Journal", 2014, in print (preliminary version: FelinKauffmanKopplLongoSEJ2014.pdf;    journal web site, 21 May 2014: DOI: 10.1002/sej.1184)
 

 R. Koppl, S. Kauffman, T. Felin. G. Longo, Economy for a Creative World.  Preliminary version of a paper accepted as target article by the "Journal of Institutional Economics", 2015, to appear.    (EconoCreative-jan2014web.pdf);   answers to the comments to this target article, to appear:    (Koppl-al-Longo-answers.pdf)
 

 G. Longo, N. Zakhama.  Le modèle comme regard organisateur du réel.  Exposé invité, Colloque "Naturaliser le modèle", Chambord, octobre, 2013. Version préliminaire du texte aux actes du colloque:    (LongoNaturModel.pdf)
 

G. Longo, M. Montévil, A. Pocheville.    L’incompressible complexité du réel et la construction évolutive du simple. Article invité, actes du colloque : Complexité-Simplexité, (Berthoz, Petit, eds), Collège de France, 2014 (tous les articles).    (IncompressReel.pdf).
 

 G. Longo.  Science, Problem Solving and Bibliometrics.  Invited Lecture, Academia Europaea Conference on "Use and Abuse of Bibliometrics", Stockholm, May 2013. Proceedings, Wim Blockmans et al. (eds), Portland Press, 2014.   (Bibliometrics9-13rev.pdf)
 


      
      In case of downloading problems, contact the author, e-mail: longo (at) ens (dot) fr


Back to Longo's index page.