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 publicationsSept08.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. Reflections on Incompleteness (for reference: 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; Lecture Notes in Computer Science, vol 2277 (Callaghan et al. eds), pp. 160 - 180, Springer, 2002.

reflect-incompl.pdf 

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-francais.ps)  (dehaene-francais.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 francaise "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 francais 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, 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, Springer, January issue, 2010.       (TopoiIntuitCogni.pdf)
 


 

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.ps)   (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.  Geometric schemes for biological time. Invited lecture, Conference on "Episodic memory and time in neurophysiology", Strasbourg, October, 2007.  (geo-time.pdf)  (version francaise dans "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. Invited Lecture, conference “Biologie e selezioni naturali”, Florence, December 4-8, 2009 (submitted for publication).    (2-dimTime.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 francaise dans "Explication, modélisation et simulation en Biologie" (Barberousse et al. dir.), éd. Syllepse, Paris, 2008.)  
 

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) Imperial College Press/World Scientific, 2008. (Revised and expanded version of a paper in French in the proceedings of the LIGC colloquium, Cerisy (Joinet et al., eds), Hermann, 2009).            (gius-thierCompWorld.pdf)
 

  Giuseppe 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/World Scientific, 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).
 

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, 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, Catuscia Palamidessi, Thierry Paul.  Randomness: four questions and some challenges.  In "Randomness: five questions", Hector Zenil, editor, Automatic Press / VIP, 2010.     (answersRandom.pdf)
 

  Giuseppe Longo.  Interfaces de l'incomplétude,  pour "Les Mathématiques", Editions du CNRS, 2011   (Incompletude.pdf)   (Originale in italiano per "La Matematica", vol. 4, Einaudi, 2010.    (Incompletezza.pdf))      
 

Giuseppe Longo.  Incomputability in Physics and Biology. Invited Lecture, Proceedings of Computability in Europe, Azores, Pt, June 30 - July 4, 2010.   (incomput-phys-bio.pdf
 


 
 

5 - Minima philosophica:

  Giuseppe 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)
 

  Giuseppe 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)
 

  Giuseppe Longo.  Savoir critique et savoir positif: l'importance des résultats négatifs.   Intellectica, vol. 40, n.1, 2005.      (neg-results.pdf)      (translation in English: neg-resCE.pdf; traduzione italiana, a cura di e per Naturalmente, anno 18, 3, 9/2005:  natural-neg-res.pdf)
 

  Giuseppe 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)

  Boris Saulnier, Giuseppe 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)
 

  Giuseppe 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)
 

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

  Giuseppe Longo, Giulia Frezza.  "Crossing-over" sul vivente,  in "Metafore del vivente. Linguaggi e sperimentazione in filosofia, biologia e scienze cognitive", (a cura di) Gagliasso E. e Frezza G., FrancoAngeli, Milano 2010.            (Cross-over.pdf)
 

  Giuseppe 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)
 


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


Back to Longo's index page.