Mossio, Matteo; Longo, Giuseppe; Stewart, John A computable expression of closure to efficient causation. (English) Zbl 1400.92008 J. Theor. Biol. 257, No. 3, 489-498 (2009). MSC: 92B05 68N18 03B40 03D75 PDFBibTeX XMLCite \textit{M. Mossio} et al., J. Theor. Biol. 257, No. 3, 489--498 (2009; Zbl 1400.92008) Full Text: DOI HAL
Longo, Giuseppe Proofs and programs. (English) Zbl 1055.03033 Synthese 134, No. 1-2, 85-117 (2003). Reviewer: Thierry Coquand (Göteborg) MSC: 03F03 03B40 PDFBibTeX XMLCite \textit{G. Longo}, Synthese 134, No. 1--2, 85--117 (2003; Zbl 1055.03033) Full Text: DOI
Longo, Giuseppe; Milsted, Kathleen; Soloviev, Sergei Coherence and transitivity of subtyping as entailment. (English) Zbl 0959.03042 J. Log. Comput. 10, No. 4, 493-526 (2000). MSC: 03F05 68N18 03B70 PDFBibTeX XMLCite \textit{G. Longo} et al., J. Log. Comput. 10, No. 4, 493--526 (2000; Zbl 0959.03042) Full Text: DOI Link
Longo, Giuseppe Prototype proofs in type theory. (English) Zbl 0971.03020 Math. Log. Q. 46, No. 2, 257-266 (2000). Reviewer: M.W.Bunder (Wollongong) MSC: 03B40 03B15 PDFBibTeX XMLCite \textit{G. Longo}, Math. Log. Q. 46, No. 2, 257--266 (2000; Zbl 0971.03020) Full Text: DOI
Dezani-Ciancaglini, Mariangiola (ed.); Longo, Giuseppe (ed.); Seldin, Jonathan P. (ed.) Special issue: Lambda-calculus and logic in honour of Roger Hindley. (English) Zbl 0930.00009 Math. Struct. Comput. Sci. 9, No. 4, 321-522 (1999). MSC: 00B15 03-06 68-06 00B30 68N18 03B40 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} (ed.) et al., Math. Struct. Comput. Sci. 9, No. 4, 321--522 (1999; Zbl 0930.00009) Full Text: DOI
Castagna, Giuseppe; Ghelli, Giorgio; Longo, Giuseppe A calculus for overloaded functions with subtyping. (English) Zbl 0819.03005 Inf. Comput. 117, No. 1, 115-135 (1995). MSC: 03B40 03B70 PDFBibTeX XMLCite \textit{G. Castagna} et al., Inf. Comput. 117, No. 1, 115--135 (1995; Zbl 0819.03005) Full Text: DOI
Longo, Giuseppe Parametric and type-dependent polymorphism. (English) Zbl 0821.03008 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 22, No. 1-2, 69-92 (1995). Reviewer: M.W.Bunder (Wollongong) MSC: 03B40 68Q55 PDFBibTeX XMLCite \textit{G. Longo}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 22, No. 1--2, 69--92 (1995; Zbl 0821.03008)
Bruce, Kim B.; Longo, Giuseppe A modest model of records, inheritance, and bounded quantification. (English) Zbl 0837.68057 Gunter, Carl A. (ed.) et al., Theoretical aspects of object-oriented programming. Types, semantics, and language design. London: MIT Press. MIT Press Series in the Foundations of Computing. 151-196 (1994). MSC: 68Q45 68Q55 PDFBibTeX XMLCite \textit{K. B. Bruce} and \textit{G. Longo}, in: Theoretical aspects of object-oriented programming. Types, semantics, and language design. London: MIT Press. 151--196 (1994; Zbl 0837.68057)
Longo, Giuseppe Types as parameters. (English) Zbl 1497.68115 Gaudel, Marie-Claude (ed.) et al., TAPSOFT ’93: theory and practice of software development. 4th international joint conference CAAP/FASE, Orsay, France, April 13–17, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 668, 658-670 (1993). MSC: 68N30 03B38 03B40 03B70 PDFBibTeX XMLCite \textit{G. Longo}, Lect. Notes Comput. Sci. 668, 658--670 (1993; Zbl 1497.68115) Full Text: DOI
Castagna, Giuseppe; Ghelli, Giorgio; Longo, Giuseppe A semantics for \(\lambda\)&-early: A calculus with overloading and early binding. (English) Zbl 0797.68027 Bezem, Marc (ed.) et al., Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 664, 107-123 (1993). MSC: 68N15 68Q55 03B40 PDFBibTeX XMLCite \textit{G. Castagna} et al., Lect. Notes Comput. Sci. 664, 107--123 (1993; Zbl 0797.68027)
Longo, Giuseppe; Milsted, Kathleen; Soloviev, Sergei The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus. (English) Zbl 0793.03008 Theor. Comput. Sci. 121, No. 1-2, 323-349 (1993). Reviewer: S.Martini (Pisa) MSC: 03B40 68N15 PDFBibTeX XMLCite \textit{G. Longo} et al., Theor. Comput. Sci. 121, No. 1--2, 323--349 (1993; Zbl 0793.03008) Full Text: DOI
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe Provable isomorphisms of types. (English) Zbl 0763.03011 Math. Struct. Comput. Sci. 2, No. 2, 231-247 (1992). MSC: 03B40 18D15 68P10 PDFBibTeX XMLCite \textit{K. B. Bruce} et al., Math. Struct. Comput. Sci. 2, No. 2, 231--247 (1992; Zbl 0763.03011) Full Text: DOI
Di Cosmo, Roberto; Longo, Giuseppe Constructively equivalent propositions and isomorphisms of objects, or terms as natural transformations. (English) Zbl 0751.03027 Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 73-94 (1992). Reviewer: G.Mints (Stanford) MSC: 03F03 03B20 18A23 03B40 18D15 PDFBibTeX XMLCite \textit{R. Di Cosmo} and \textit{G. Longo}, in: Logic from computer science. Proceedings of a workshop, held November 13- 17, 1989, at the Mathematical Sciences Research Institute, Berkeley, CA, USA. New York etc.: Springer-Verlag. 73--94 (1992; Zbl 0751.03027)
Longo, Giuseppe; Moggi, Eugenio Constructive natural deduction and its “\(\omega\)-set” interpretation. (English) Zbl 0756.03028 Math. Struct. Comput. Sci. 1, No. 2, 215-254 (1991). Reviewer: Song Fangmin (Nanjing) MSC: 03F35 03B40 68Q55 PDFBibTeX XMLCite \textit{G. Longo} and \textit{E. Moggi}, Math. Struct. Comput. Sci. 1, No. 2, 215--254 (1991; Zbl 0756.03028) Full Text: DOI
Asperti, Andrea; Longo, Giuseppe Categories, types, and structures. An introduction to category theory for the working computer scientist. (English) Zbl 0783.18001 MIT Press Series in the Foundations of Computing. Cambridge, MA: The MIT Press. 325 p. (1991). MSC: 18-01 03B40 68Q55 PDFBibTeX XMLCite \textit{A. Asperti} and \textit{G. Longo}, Categories, types, and structures. An introduction to category theory for the working computer scientist. Cambridge, MA: The MIT Press (1991; Zbl 0783.18001)
Cardelli, Luca; Longo, Giuseppe A semantic basis for Quest. (English) Zbl 0941.68528 J. Funct. Program. 1, No. 4, 417-458 (1991). MSC: 68N15 68N18 68Q55 03B70 PDFBibTeX XMLCite \textit{L. Cardelli} and \textit{G. Longo}, J. Funct. Program. 1, No. 4, 417--458 (1991; Zbl 0941.68528) Full Text: DOI
Bruce, Kim B.; Longo, Giuseppe A modest model of records, inheritance, and bounded quantification. (English) Zbl 0711.68072 Inf. Comput. 87, No. 1-2, 196-240 (1990). Reviewer: G.Saake MSC: 68Q55 PDFBibTeX XMLCite \textit{K. B. Bruce} and \textit{G. Longo}, Inf. Comput. 87, No. 1--2, 196--240 (1990; Zbl 0711.68072) Full Text: DOI
Longo, Giuseppe; Moggi, Eugenio A category-theoretic characterization of functional completeness. (English) Zbl 0698.68008 Theor. Comput. Sci. 70, No. 2, 193-211 (1990). MSC: 68N01 03B40 18D15 68R99 03D65 PDFBibTeX XMLCite \textit{G. Longo} and \textit{E. Moggi}, Theor. Comput. Sci. 70, No. 2, 193--211 (1990; Zbl 0698.68008) Full Text: DOI
Longo, Guiseppe Coherence and valid isomorphism in closed categories. Applications of proof theory to category theory in a computer scientist perspective (notes for an invited lecture). (English) Zbl 1496.03134 Pitt, David H. (ed.) et al., Category theory and computer science. Manchester, UK, September 5–8, 1989. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 389, 1-4 (1989). MSC: 03B70 03B40 03F52 03G30 18A15 18D15 18M45 68N18 68Q65 PDFBibTeX XMLCite \textit{G. Longo}, Lect. Notes Comput. Sci. 389, 1--4 (1989; Zbl 1496.03134) Full Text: DOI
Longo, Giuseppe Some aspects of impredicativity. Notes on Weyl’s philosophy of mathematics and on todays type theory. (English) Zbl 0682.03006 Logic colloq. ’87, Proc. Colloq., Granada/Spain 1987, Stud. Logic Found. Math. 129, 241-274 (1989). Reviewer: C.F.Kielkopf MSC: 03B40 00A30 68Q65 03F35 03A05 PDFBibTeX XML
Longo, Giuseppe On Church’s formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory. (English) Zbl 0673.03009 Ann. Pure Appl. Logic 40, No. 2, 93-133 (1988). Reviewer: P.Bankston MSC: 03B40 03D65 03G30 03F10 03-02 PDFBibTeX XMLCite \textit{G. Longo}, Ann. Pure Appl. Logic 40, No. 2, 93--133 (1988; Zbl 0673.03009) Full Text: DOI
Asperti, Andrea; Longo, Giuseppe Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman. (English) Zbl 0761.68059 Mathematical problems in computation theory, Proc. 26th semester, Warsaw/Poland 1985, Banach Cent. Publ. 21, 21-45 (1988). MSC: 68Q60 18B05 PDFBibTeX XMLCite \textit{A. Asperti} and \textit{G. Longo}, Banach Cent. Publ. 21, 21--45 (1988; Zbl 0761.68059)
Longo, Giuseppe From numbered sets to type theories. (English) Zbl 0701.03006 Rend. Semin. Mat., Torino Fasc. Spec., 41-73 (1987). Reviewer: J.Šindelář MSC: 03B15 03D45 18D15 03F35 68Q65 03B40 03C85 PDFBibTeX XML
Longo, G.; Martini, S. Computability in higher types, P\(\omega\) and the completeness of type assignment. (English) Zbl 0625.03027 Theor. Comput. Sci. 46, 197-217 (1986). MSC: 03D65 03B40 PDFBibTeX XMLCite \textit{G. Longo} and \textit{S. Martini}, Theor. Comput. Sci. 46, 197--217 (1986; Zbl 0625.03027) Full Text: DOI
Asperti, Andrea; Longo, Giuseppe Relating type-structures. Partial variations on a theme of Friedman and Statman. (English) Zbl 0624.68033 Trees in algebra and programming, Proc. 11th Colloq., Nice/France 1986, Lect. Notes Comput. Sci. 214, 266-287 (1986). MSC: 68Q65 03B40 68Q60 PDFBibTeX XML
Giannini, Paola; Longo, Giuseppe Effectively given domains and lambda-calculus models. (English) Zbl 0599.03008 Inf. Control 62, 36-63 (1984). MSC: 03B40 03D45 03D60 PDFBibTeX XMLCite \textit{P. Giannini} and \textit{G. Longo}, Inf. Control 62, 36--63 (1984; Zbl 0599.03008) Full Text: DOI
Longo, Giuseppe Limits, higher type computability and type-free languages. (English) Zbl 0583.03029 Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 96-114 (1984). Reviewer: H.Zlatuska MSC: 03D65 03B40 03C57 68Q60 68Q65 06F30 PDFBibTeX XML
Longo, Giuseppe; Martini, S. Computability in higher types and the universal domain P\(\omega\). (English) Zbl 0583.03028 Theoretical aspects of computer science, Symp., Paris 1984, Lect. Notes Comput. Sci. 166, 186-197 (1984). Reviewer: J.Zlatuska MSC: 03D65 03D45 03C57 03B40 03D60 06F30 PDFBibTeX XML
Longo, Giuseppe; Moggi, E. Gödel numberings, principal morphisms, combinatory algebras. A category-theoretic characterization of functional completeness. (English) Zbl 0567.03003 Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 397-406 (1984). MSC: 03B40 18D15 03G30 PDFBibTeX XML
Longo, Giuseppe; Moggi, E. Cartesian closed categories of enumerations for effective type structures. (English) Zbl 0564.03037 Semantics of data types, Proc. int. Symp., Sophia-Antipolis/France 1984, Lect. Notes Comput. Sci. 173, 235-255 (1984). Reviewer: M.Eytan MSC: 03D65 18D15 68Q99 03B40 03D45 PDFBibTeX XML
Coppo, M.; Dezani-Ciancaglini, M.; Honsell, F.; Longo, Giuseppe Extended type structures and filter lambda models. (English) Zbl 0558.03007 Logic colloquium ’82, Proc. Colloq., Florence 1982, Stud. Logic Found. Math. 112, 241-262 (1984). Reviewer: A.Pettorossi MSC: 03B40 PDFBibTeX XML
Bruce, Kim; Longo, Giuseppe On combinatory algebras and their expansions. (English) Zbl 0555.03006 Theor. Comput. Sci. 31, 31-40 (1984). Reviewer: J.Zlatuska MSC: 03B40 03C99 PDFBibTeX XMLCite \textit{K. Bruce} and \textit{G. Longo}, Theor. Comput. Sci. 31, 31--40 (1984; Zbl 0555.03006) Full Text: DOI
Longo, Giuseppe Continuous structures and analytic methods in computer science. (English) Zbl 0553.68002 Trees in algebra and programming, 9th Colloq., Bordeaux/France 1984, 1-22 (1984). Reviewer: C.Calude MSC: 68-02 68Q99 03B40 68Q65 68Q25 94C10 68-01 PDFBibTeX XML
Longo, Giuseppe Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. (English) Zbl 0513.03009 Ann. Pure Appl. Logic 24, 153-188 (1983). MSC: 03B40 03C65 PDFBibTeX XMLCite \textit{G. Longo}, Ann. Pure Appl. Logic 24, 153--188 (1983; Zbl 0513.03009) Full Text: DOI
Seldin, J. P. (ed.); Hindley, J. R. (ed.) [Seldin, J. P.; Kearns, J. T.; Bunder, M. W.; Aczel, P.; Feferman, S.; Gilmore, P. C.; Fitch, F. B.; Kuzichev, A. S.; Levy, J. J.; Klop, J. W.; Wadsworth, C. P.; Böhm, C.; Mitschke, G.; Visser, A.; Barendregt, H.; Koymans, K.; Longo, Giuseppe; Sanchis, L. E.; Plotkin, G. D.; Lambek, J.; Scott, D. S.; Gandy, R. O.; Howard, W. A.; Diller, J.; Meredith, D.; Statman, R.; Coppo, M.; Dezani-Ciancaglini, M.; Veneri, B.; Pottinger, G.; de Bruijn, N. G.] To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. (English) Zbl 0469.03006 London etc.: Academic Press, A Subsidiary of Harcourt Brace Jovanovich, Publishers. XXV, 606 p., £26.60; $ 64.00 (1980). MSC: 03B40 03-06 03-02 01A70 03A05 18D15 PDFBibTeX XML
Hindley, R.; Longo, Giuseppe Lambda-calculus models and extensionality. (English) Zbl 0453.03015 Z. Math. Logik Grundlagen Math. 26, 289-310 (1980). MSC: 03B40 PDFBibTeX XMLCite \textit{R. Hindley} and \textit{G. Longo}, Z. Math. Logik Grundlagen Math. 26, 289--310 (1980; Zbl 0453.03015) Full Text: DOI
Longo, Giuseppe; Venturini Zilli, Marisa A \(\lambda\delta\)-calculus with an algorithmic \(\delta^*\). (English) Zbl 0432.03011 Arch. Math. Logik Grundlagenforsch. 20, 41-52 (1980). MSC: 03B40 PDFBibTeX XMLCite \textit{G. Longo} and \textit{M. Venturini Zilli}, Arch. Math. Logik Grundlagenforsch. 20, 41--52 (1980; Zbl 0432.03011) Full Text: DOI EuDML
Longo, Giuseppe Ricorsivita nei tipi superiori: un’introduzione alle caratterizzazioni di Ershov ed Hyland. (Italian) Zbl 0437.03024 Rend. Sem. Mat., Torino 37, No. 3, 1-29 (1979). MSC: 03D65 03B40 03-02 PDFBibTeX XMLCite \textit{G. Longo}, Rend. Semin. Mat., Torino 37, No. 3, 1--29 (1979; Zbl 0437.03024)
Longo, Giuseppe On the problem of deciding equality in partial combinatory algebras and in a formal system. (English) Zbl 0353.02009 Stud. Log. 35, 363-375 (1976). MSC: 03B40 03D60 03B25 PDFBibTeX XMLCite \textit{G. Longo}, Stud. Log. 35, 363--375 (1976; Zbl 0353.02009) Full Text: DOI