Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiuseppe Longo
Person information
- affiliation: Centre Cavaillès (République des Savoirs), CNRS, Collège de France & École Normale Supérieure, Paris, France
- affiliation: Tufts University, Boston, MA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j50]Michele Delli Veneri
, Stefano Cavuoti, Roberto Abbruzzese, Massimo Brescia, Giancarlo Sperlì, Vincenzo Moscato, Giuseppe Longo:
HyCASTLE: A Hybrid ClAssification System based on Typicality, Labels and Entropy. Knowl. Based Syst. 244: 108566 (2022)- [c54]Emma Montella, Marta Rosaria Marino, Massimo Majolo, Eliana Raiola, Giuseppe Russo, Giuseppe Longo, Andrea Lombardi, Anna Borrelli, Maria Triassi:
Regression and classification methods for predicting the length of hospital stay after cesarean section: a bicentric study. ICMHI 2022: 135-140 - [c53]Ida Santalucia, Marta Rosaria Marino, Eliana Raiola, Massimo Majolo, Giuseooe Russo, Giuseppe Longo, Giuseppe Ferrucci, Anna Borrelli, Maria Triassi:
A multiple regression model for modelling the hospital patients LOS' of laparoscopic cholecystectomy: a bicentric study. ICMHI 2022: 205-209 - [c52]Emma Montella, Marta Rosaria Marino, Massimo Majolo, Eliana Raiola, Giuseppe Russo, Giuseppe Longo, Michele Sparano, Anna Borrelli, Maria Triassi:
Lean Six Sigma approach to the study of the LOS of patients who undergo laparoscopic cholecystectomy: a bicentric study. ICMHI 2022: 247-252 - [i15]Lars Doorenbos, Olena Torbaniuk, Stefano Cavuoti, Maurizio Paolillo, Giuseppe Longo, Massimo Brescia, Raphael Sznitman, Pablo Márquez-Neila:
ULISSE: A Tool for One-shot Sky Exploration and its Application to Active Galactic Nuclei Detection. CoRR abs/2208.10984 (2022) - [i14]Michele Delli Veneri, Lukasz Tychoniec, Fabrizia Guglielmetti, Giuseppe Longo, Eric Villard:
3D Detection and Characterisation of ALMA Sources through Deep Learning. CoRR abs/2211.11462 (2022) - 2021
- [j49]Enka Blanchard, Giuseppe Longo:
From axiomatic systems to the Dogmatic gene and beyond. Biosyst. 204: 104396 (2021) - [c51]Alfonso Maria Ponsiglione, Massimo Majolo, Giuseppe Longo, Giuseppe Russo, Maria Triassi, Eliana Raiola, Giovanni Improta:
Analysis of voluntary departures from the Emergency Department of the hospital AORN "A. Cardarelli". BECB 2021: 27:1-27:4 - [c50]Massimo Majolo, Alfonso Maria Ponsiglione, Giuseppe Longo, Giuseppe Russo, Maria Triassi, Eliana Raiola, Giovanni Improta:
Studying length of stay in the Emergency Department of A.O.R.N. "Antonio Cardarelli" of Naples. ICBBS 2021: 144-147
2010 – 2019
- 2018
- [j48]Salvatore Tudisco, Francesco La Via, Clementina Agodi, Carmen Altana, Giacomo Borghi, Maurizio Boscardin, Giancarlo Bussolino, Lucia Calcagno, Massimo Camarda, Francesco Cappuzzello, Diana Carbone, Salvatore Cascino, Giovanni Casini, Manuela Cavallaro, Caterina Ciampi, Giuseppe Cirrone, Giacomo Cuttone, Alberto Fazzi, Dario Giove, Giuseppe Gorini, Luca Labate, Gaetano Lanzalone, Grazia Litrico, Giuseppe Longo, Domenico Lo Presti, Marco Mauceri, Roberto Modica, Maurizio Moschetti, Annamaria Muoio, Franco Musumeci, Gabriele Pasquali, Giada Petringa, Nicolò Piluso, Giacomo Poggi, Stefania Privitera, Sebastiana Puglia, Valeria Puglisi, Marica Rebai, Sabina Ronchin, Antonello Santangelo, Andrea Stefanini, Antonio Trifirò, Massimo Zimbone:
SiCILIA - Silicon Carbide Detectors for Intense Luminosity Investigations and Applications. Sensors 18(7): 2289 (2018) - [c49]Michael Biehl, Kerstin Bunte, Giuseppe Longo, Peter Tiño:
Machine learning and data analysis in astroinformatics. ESANN 2018 - [c48]Michele Delli Veneri, Stefano Cavuoti, Massimo Brescia, Giuseppe Riccio, Giuseppe Longo:
stellar formation rates in galaxies using machine learning models. ESANN 2018 - 2017
- [j47]Giuseppe Longo:
The web and its sorceries. AI Soc. 32(1): 135-136 (2017) - [j46]Giuseppe Longo, Maël Montévil:
From Logic to Biology via Physics: a survey. Log. Methods Comput. Sci. 13(4) (2017) - [c47]Giuseppe Longo, Massimo Brescia, Stefano Cavuoti:
The Astronomical Data Deluge: the Template Case of Photometric Redshifts. DAMDID/RCDL 2017: 27-29 - [c46]Massimo Brescia, Stefano Cavuoti, Valeria Amaro, Giuseppe Riccio, Giuseppe Angora, Civita Vellucci, Giuseppe Longo:
Data Deluge in Astrophysics: Photometric Redshifts as a Template Use Case. DAMDID/RCDL (Selected Papers) 2017: 61-72 - [i13]Giuseppe Longo, Maël Montévil:
From Logic to Biology via Physics: a survey. CoRR abs/1709.06001 (2017) - 2016
- [j45]Cristian S. Calude, Giuseppe Longo:
Classical, quantum and biological randomness as relative unpredictability. Nat. Comput. 15(2): 263-278 (2016) - [c45]Stefano Cavuoti, Crescenzo Tortora, Massimo Brescia, Giuseppe Longo, Mario Radovich, Nicola R. Napolitano, Valeria Amaro, Civita Vellucci:
Cooperative photometric redshift estimation. Astroinformatics 2016: 166-172 - [c44]Valeria Amaro, Stefano Cavuoti, Massimo Brescia, Civita Vellucci, Crescenzo Tortora, Giuseppe Longo:
METAPHOR: Probability density estimation for machine learning based photometric redshifts. Astroinformatics 2016: 197-200 - [c43]Stefano Cavuoti, Massimo Brescia, Civita Vellucci, Giuseppe Longo, Valeria Amaro, Crescenzo Tortora:
Probability density estimation of photometric redshifts based on machine learning. SSCI 2016: 1-6 - [e1]Massimo Brescia, S. George Djorgovski, Eric D. Feigelson, Giuseppe Longo, Stefano Cavuoti:
Astroinformatics 2016, Sorrento, Italy, October 19-25, 2016. Proceedings of the International Astronomical Union 12(S325), Cambridge University Press 2016 [contents] - 2015
- [j44]Sabina Sonia Tangaro, Nicola Amoroso, Massimo Brescia, Stefano Cavuoti, Andrea Chincarini, Rosangela Errico, Paolo Inglese, Giuseppe Longo, Rosalia Maglietta, Andrea Tateo, Giuseppe Riccio, Roberto Bellotti:
Feature Selection Based on Machine Learning in MRIs for Hippocampal Segmentation. Comput. Math. Methods Medicine 2015: 814104:1-814104:10 (2015) - [c42]Barbara Bravi, Giuseppe Longo:
The Unconventionality of Nature: Biology, from Noise to Functional Randomness. UCNC 2015: 3-34 - [i12]Sabina Sonia Tangaro, Nicola Amoroso, Massimo Brescia, Stefano Cavuoti, Andrea Chincarini, Rosangela Errico, Paolo Inglese, Giuseppe Longo, Rosalia Maglietta, Andrea Tateo, Giuseppe Riccio, Roberto Bellotti:
Feature Selection based on Machine Learning in MRIs for Hippocampal Segmentation. CoRR abs/1501.03915 (2015) - 2014
- [j43]Giuseppe Longo, Mioara Mugur-Schächter:
Preface to the special issue on developments of the concepts of randomness, statistics and probability. Math. Struct. Comput. Sci. 24(3) (2014) - [j42]Giuseppe Longo, Mioara Mugur-Schächter:
Debate on the concept of probability, and conclusions to this special issue on developments of the concepts of randomness, statistics and probability. Math. Struct. Comput. Sci. 24(3) (2014) - [c41]Ciro Donalek, S. George Djorgovski, Alex Cioc, Anwell Wang, Jerry Zhang, Elizabeth Lawler, Stacy Yeh, Ashish Mahabal, Matthew J. Graham, Andrew J. Drake, Scott Davidoff, Jeffrey S. Norris, Giuseppe Longo:
Immersive and collaborative data visualization using virtual reality platforms. IEEE BigData 2014: 609-614 - [i11]Ciro Donalek, S. George Djorgovski, Scott Davidoff, Alex Cioc, Anwell Wang, Giuseppe Longo, Jeffrey S. Norris, Jerry Zhang, Elizabeth Lawler, Stacy Yeh, Ashish Mahabal, Matthew J. Graham, Andrew J. Drake:
Immersive and Collaborative Data Visualization Using Virtual Reality Platforms. CoRR abs/1410.7670 (2014) - 2013
- [j41]Marcello Buiatti, Giuseppe Longo:
Randomness and multilevel interactions in biology. Theory Biosci. 132(3): 139-158 (2013) - [c40]Ciro Donalek, S. George Djorgovski, Ashish Mahabal, Matthew J. Graham, Andrew J. Drake, Arun Kumar A., N. Sajeeth Philip, Thomas J. Fuchs, Michael J. Turmon, Michael Ting-Chang Yang, Giuseppe Longo:
Feature selection strategies for classifying high dimensional astronomical data sets. IEEE BigData 2013: 35-41 - [i10]Ciro Donalek, Arun Kumar A., S. George Djorgovski, Ashish Mahabal, Matthew J. Graham, Thomas J. Fuchs, Michael J. Turmon, N. Sajeeth Philip, Michael Ting-Chang Yang, Giuseppe Longo:
Feature Selection Strategies for Classifying High Dimensional Astronomical Data Sets. CoRR abs/1310.1976 (2013) - 2012
- [j40]Matthew J. Graham, S. George Djorgovski, Ashish Mahabal, Ciro Donalek, Andrew J. Drake, Giuseppe Longo:
Data challenges of time domain astronomy. Distributed Parallel Databases 30(5-6): 371-384 (2012) - [j39]Giuseppe Longo:
Incomputability in Physics and Biology. Math. Struct. Comput. Sci. 22(5): 880-900 (2012) - [c39]Giuseppe Longo, Maël Montévil:
Randomness Increases Order in Biological Evolution. Computation, Physics and Beyond 2012: 289-308 - [c38]Jean Lassègue, Giuseppe Longo:
What is Turing's Comparison between Mechanism and Writing Worth? CiE 2012: 450-461 - [c37]Giuseppe Longo, Maël Montévil, Stuart A. Kauffman:
No entailing laws, but enablement in the evolution of the biosphere. GECCO (Companion) 2012: 1379-1392 - [c36]Stefano Cavuoti, Mauro Garofalo, Massimo Brescia, Antonio Pescapè, Giuseppe Longo, Giorgio Ventre:
Genetic Algorithm Modeling with GPU Parallel Computing Technology. WIRN 2012: 29-39 - [i9]Stefano Cavuoti, Mauro Garofalo, Massimo Brescia, Antonio Pescapè, Giuseppe Longo, Giorgio Ventre:
Genetic Algorithm Modeling with GPU Parallel Computing Technology. CoRR abs/1211.5481 (2012) - 2011
- [j38]Giuseppe Longo, Andrea Sgarro:
Unruly codes with unruly distances raise (combinatorial) problems. Electron. Notes Discret. Math. 38: 575-578 (2011) - [j37]Giuseppe Longo, Maël Montévil:
Protention and retention in biological systems. Theory Biosci. 130(2): 107-117 (2011) - [i8]Marco Castellani, Massimo Brescia, Ettore Mancini, Luca Pellecchia, Giuseppe Longo:
VOGCLUSTERS: an example of DAME web application. CoRR abs/1109.4104 (2011) - [i7]Massimo Brescia, Anna Corazza, Stefano Cavuoti, Giovanni D'Angelo, Raffaele D'Abrusco, Ciro Donalek, S. George Djorgovski, Natalia Deniskina, Michelangelo Fiore, Mauro Garofalo, Omar Laurino, Giuseppe Longo, Ashish Mahabal, Francesco Manna, Alfonso Nocella, B. Skordovski:
The DAME/VO-Neural Infrastructure: an Integrated Data Mining System Support for the Science Community. CoRR abs/1112.0742 (2011) - [i6]Massimo Brescia, Stefano Cavuoti, Raffaele D'Abrusco, Omar Laurino, Giuseppe Longo:
DAME: A Distributed Data Mining & Exploration Framework within the Virtual Observatory. CoRR abs/1112.0750 (2011) - 2010
- [j36]Giuseppe Calcagno, Antonino Staiano, Giuliana Fortunato, Vincenzo Brescia-Morra, Elena Salvatore, Rosario Liguori, Silvana Capone, Alessandro Filla, Giuseppe Longo, Lucia Sacchetti:
A multilayer perceptron neural network-based approach for the identification of responsiveness to interferon therapy in multiple sclerosis patients. Inf. Sci. 180(21): 4153-4163 (2010) - [c35]Giuseppe Longo:
Incomputability in Physics. CiE 2010: 276-285 - [i5]Massimo Brescia, Giuseppe Longo, Fabio Pasian:
Mining Knowledge in Astrophysical Massive Data Sets. CoRR abs/1010.3796 (2010) - [i4]Massimo Brescia, Giuseppe Longo, S. George Djorgovski, Stefano Cavuoti, Raffaele D'Abrusco, Ciro Donalek, Alessandro Di Guido, Michelangelo Fiore, Mauro Garofalo, Omar Laurino, Ashish Mahabal, Francesco Manna, Alfonso Nocella, Giovanni D'Angelo, Maurizio Paolillo:
DAME: A Web Oriented Infrastructure for Scientific Data Mining & Exploration. CoRR abs/1010.4843 (2010)
2000 – 2009
- 2009
- [j35]Giuseppe Longo:
From exact sciences to life phenomena: Following Schrödinger and Turing on Programs, Life and Causality. Inf. Comput. 207(5): 545-558 (2009) - [c34]Giuseppe Longo:
Randomness and Determination, from Physics and Computing towards Biology. SOFSEM 2009: 49-61 - 2008
- [j34]Giuseppe Longo, Asya Willerval:
Bibliométrie et les tenants de l'orthodoxie (version française, version russe). Bull. dInformatique Approfondie et Appl. 81: 7-18 (2008) - [j33]Mathieu Hoyrup, Arda Kolçak, Giuseppe Longo:
Computability and the morphological complexity of some dynamics on continuous domains. Theor. Comput. Sci. 398(1-3): 170-182 (2008) - [c33]Maurizio Palesi, Giuseppe Longo, Salvatore Signorino, Rickard Holsmark, Shashi Kumar, Vincenzo Catania:
Design of Bandwidth Aware and Congestion Avoiding Efficient Routing Algorithms for Networks-on-Chip Platforms. NOCS 2008: 97-106 - [i3]Massimo Brescia, Stefano Cavuoti, Giovanni D'Angelo, Raffaele D'Abrusco, Natalia Deniskina, Mauro Garofalo, Omar Laurino, Giuseppe Longo, Alfonso Nocella, B. Skordovski:
The VO-Neural project: recent developments and some applications. CoRR abs/0806.1006 (2008) - [i2]Natalia Deniskina, Massimo Brescia, Stefano Cavuoti, Giovanni D'Angelo, Omar Laurino, Giuseppe Longo:
GRID-Launcher v.1.0. CoRR abs/0806.1144 (2008) - [i1]Massimo Brescia, Stefano Cavuoti, Giovanni D'Angelo, Raffaele D'Abrusco, Ciro Donalek, Natalia Deniskina, Omar Laurino, Giuseppe Longo:
Astrophysics in S.Co.P.E. CoRR abs/0807.0967 (2008) - 2007
- [j32]Francis Bailly, Giuseppe Longo:
Randomness and determinism in the interplay between the continuum and the discrete. Math. Struct. Comput. Sci. 17(2): 289-305 (2007) - [c32]Giuseppe Longo:
Symmetries in Foundations. ICTCS 2007: 11 - 2006
- [j31]Roberto Amato, Angelo Ciaramella, Natalia Deniskina, Carmine Del Mondo, Diego di Bernardo, Ciro Donalek, Giuseppe Longo, Giuseppe Mangano, Gennaro Miele, Giancarlo Raiconi, Antonino Staiano, Roberto Tagliaferri:
A multi-step approach to time series analysis and gene expression clustering. Bioinform. 22(5): 589-596 (2006) - 2005
- [j30]Roberto Marmo, Sabrina Amodio, Roberto Tagliaferri, Vittoria Ferreri, Giuseppe Longo:
Textural identification of carbonate rocks by image processing and neural network: Methodology proposal and examples. Comput. Geosci. 31(5): 649-659 (2005) - [c31]Antonino Staiano, Angelo Ciaramella, Lara De Vinco, Giuseppe Longo, Giancarlo Raiconi, Roberto Tagliaferri, Roberto Amato, Carmine Del Mondo, Giuseppe Mangano, Gennaro Miele:
Visualization, Clustering and Classification of Multidimensional Astronomical Data. CAMP 2005: 141-146 - [c30]Roberto Amato, Angelo Ciaramella, Natalia Deniskina, Carmine Del Mondo, Diego di Bernardo, Ciro Donalek, Giuseppe Longo, Giuseppe Mangano, Gennaro Miele, Giancarlo Raiconi, Antonino Staiano, Roberto Tagliaferri:
NEC for Gene Expression Analysis. WILF 2005: 246-251 - [c29]Angelo Ciaramella, Giuseppe Longo, Antonino Staiano, Roberto Tagliaferri:
NEC: A Hierarchical Agglomerative Clustering Based on Fisher and Negentropy Information. WIRN/NAIS 2005: 49-56 - 2004
- [c28]Antonino Staiano, Lara De Vinco, Angelo Ciaramella, Giancarlo Raiconi, Roberto Tagliaferri, Roberto Amato, Giuseppe Longo, Ciro Donalek, Gennaro Miele, Diego di Bernardo:
Probabilistic Principal Surfaces for Yeast Gene Microarray Data Mining. ICDM 2004: 202-208 - [c27]Antonino Staiano, Roberto Tagliaferri, Lara De Vinco, Angelo Ciaramella, Giancarlo Raiconi, Giuseppe Longo, Gennaro Miele, Roberto Amato, Carmine Del Mondo, Ciro Donalek, Giuseppe Mangano, Diego di Bernardo:
Mining Yeast Gene Microarray Data with Latent Variable Models. WIRN 2004: 81-89 - 2003
- [j29]Giuseppe Longo, P. Scott:
New programs and open problems in the foundation of mathematics. Bull. Symb. Log. 9(2): 129-130 (2003) - [j28]Luca Aceto, Giuseppe Longo, Björn Victor:
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. Math. Struct. Comput. Sci. 13(4): 481-484 (2003) - [j27]Roberto Tagliaferri, Giuseppe Longo, Bruno D'Argenio, Alberto Incoronato:
Introduction: Neural networks for analysis of complex scientific data: astronomy and geosciences. Neural Networks 16(3-4): 295 (2003) - [j26]Roberto Tagliaferri, Giuseppe Longo, Leopoldo Milano, Fausto Acernese, Fabrizio Barone, Angelo Ciaramella, Rosario De Rosa, Ciro Donalek, Antonio Eleuteri, Giancarlo Raiconi, Salvatore Sessa, Antonino Staiano, Alfredo Volpicelli:
Neural neZtworks in astronomy. Neural Networks 16(3-4): 297-319 (2003) - [j25]Giuseppe Longo:
Proofs and Programs. Synth. 134(1-2): 85-117 (2003) - [c26]Giuseppe Longo:
Computer modelling and natural phenomena. ESEC / SIGSOFT FSE 2003: 1-5 - [c25]Roberto Tagliaferri, Giuseppe Longo, Stefano Andreon, Salvatore Capozziella, Ciro Donalek, Gerardo Giordano:
Neural Networks for Photometric Redshifts Evaluation. WIRN 2003: 226-234 - 2000
- [j24]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
Coherence and transitivity of subtyping as entailment. J. Log. Comput. 10(4): 493-526 (2000) - [j23]Giuseppe Longo:
Prototype Proofs in Type Theory. Math. Log. Q. 46(2): 257-266 (2000) - [c24]Giuseppe Longo:
On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory. TYPES 2000: 160-180
1990 – 1999
- 1999
- [j22]Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin:
Preface. Math. Struct. Comput. Sci. 9(4): 321 (1999) - [c23]Stefano Andreon, Giorgio Gargiulo, Giuseppe Longo, Roberto Tagliaferri, Nicola Capuano:
Neural nets and star/galaxy separation in wide field astronomical images. IJCNN 1999: 3810-3815 - 1997
- [c22]Maurizio Rasile, Roberto Tagliaferri, Leopoldo Milano, Giuseppe Longo:
Neural networks for periodicity analysis of unevenly spaced data. ICNN 1997: 2257-2262 - 1995
- [j21]Giuseppe Longo:
Parametric and Type-Dependent Polymorphism. Fundam. Informaticae 22(1/2): 69-92 (1995) - [j20]Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo:
A Calculus for Overloaded Functions with Subtyping. Inf. Comput. 117(1): 115-135 (1995) - [c21]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
A Logic of Subtyping (Extended Abstract). LICS 1995: 292-299 - 1993
- [j19]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. 121(1&2): 323-349 (1993) - [c20]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract). LICS 1993: 6-14 - [c19]Giuseppe Longo:
Types as Parameters. TAPSOFT 1993: 658-670 - [c18]Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo:
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA 1993: 107-123 - 1992
- [j18]Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo:
Provable Isomorphisms of Types. Math. Struct. Comput. Sci. 2(2): 231-247 (1992) - [c17]Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo:
A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming 1992: 182-192 - 1991
- [b1]Andrea Asperti, Giuseppe Longo:
Categories, types and structures - an introduction to category theory for the working computer scientist. Foundations of computing, MIT Press 1991, ISBN 978-0-262-01125-9, pp. I-XI, 1-306 - [j17]Giuseppe Longo:
The new role of mathematical logic: A tool for computer scienc. Inf. Sci. 57-58: 23-29 (1991) - [j16]Luca Cardelli, Giuseppe Longo:
A Semantic Basis for Quest. J. Funct. Program. 1(4): 417-458 (1991) - [j15]Giuseppe Longo, Eugenio Moggi:
Constructive Natural Deduction and its 'Omega-Set' Interpretation. Math. Struct. Comput. Sci. 1(2): 215-254 (1991) - 1990
- [j14]Kim B. Bruce, Giuseppe Longo:
A Modest Model of Records, Inheritance and Bounded Quantification. Inf. Comput. 87(1/2): 196-239 (1990) - [j13]Giuseppe Longo, Eugenio Moggi:
A Category-Theoretic Characterization of Functional Completeness. Theor. Comput. Sci. 70(2): 193-211 (1990) - [c16]Giuseppe Longo:
Information and the Mind-Body Problem. IPMU 1990: 298-306 - [c15]Giuseppe Longo, Andrea Sgarro:
A Pragmatic Way Out of the Maze of Uncertainty Measures. IPMU 1990: 370-376 - [c14]Luca Cardelli, Giuseppe Longo:
A Semantic Basis for Quest. LISP and Functional Programming 1990: 30-43
1980 – 1989
- 1989
- [c13]Giuseppe Longo:
Coherence and Valid Isomorphism in Closed Categories - Applications of Proof Theory to Category Theory In a Computer Scientist Perspective. Category Theory and Computer Science 1989: 1-4 - 1988
- [j12]Giuseppe Longo:
On church's formal theory of functions and functionals: The λ-calculus: connections to higher type recursion theory, proof theory, category theory. Ann. Pure Appl. Log. 40(2): 93-133 (1988) - [c12]Kim B. Bruce, Giuseppe Longo:
A Modest Model of Records, Inheritance and Bounded Quantification. LICS 1988: 38-50 - 1987
- [c11]Roberto M. Amadio, Giuseppe Longo:
Type-free compiling of parametric types. Formal Description of Programming Concepts 1987: 377-398 - 1986
- [j11]Giuseppe Longo, Simone Martini:
Computability in Higher Types, P omega and the Completeness of Type Assignment. Theor. Comput. Sci. 46(3): 197-217 (1986) - [c10]Andrea Asperti, Giuseppe Longo:
Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman. CAAP 1986: 266-287 - [c9]Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo:
The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations. LICS 1986: 122-130 - 1985
- [c8]Kim B. Bruce, Giuseppe Longo:
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version). STOC 1985: 263-272 - 1984
- [j10]Paola Giannini, Giuseppe Longo:
Effectively Given Domains and Lambda-Calculus Models. Inf. Control. 62(1): 36-63 (1984) - [j9]Giuseppe Longo, Eugenio Moggi:
The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. J. Symb. Log. 49(4): 1319-1332 (1984) - [j8]Kim B. Bruce, Giuseppe Longo:
On Combinatory Algebras and their Expansions. Theor. Comput. Sci. 31: 31-40 (1984) - [c7]Giuseppe Longo:
Continuous Structures and Analytic Methods in Computer Science. CAAP 1984: 1-22 - [c6]Giuseppe Longo:
Limits, Higher Type Computability and Type-Free Languages. MFCS 1984: 96-114 - [c5]Giuseppe Longo, Eugenio Moggi:
Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. MFCS 1984: 397-406 - [c4]Giuseppe Longo, Eugenio Moggi:
Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). Semantics of Data Types 1984: 235-255 - [c3]Giuseppe Longo, Simone Martini:
Computability in Higher Types and the Universal Domain P_omega. STACS 1984: 186-197 - 1983
- [j7]