Edit Profile Coppo, Mario Compute Distance To: Compute Author ID: coppo.mario Published as: Coppo, M.; Coppo, Mario Documents Indexed: 51 Publications since 1977, including 6 Books Biographic References: 1 Publication all top 5 Co-Authors 7 single-authored 26 Dezani-Ciancaglini, Mariangiola 7 Damiani, Ferruccio 5 Giannini, Paola 5 Giovannetti, Elio 4 Yoshida, Nobuko 4 Zacchi, Maddalena 3 Berardi, Stefano 3 Margaria, Ines 2 Cardone, Felice 2 Lodi, Elena 2 Longo, Giuseppe 2 Padovani, Luca 2 Pinna, G. Michele 2 Pugliese, Rosario 2 Venneri, Betti 1 Barendregt, Hendrik Pieter 1 Bettini, Lorenzo 1 Böhm, Corrado 1 Bono, Viviana 1 Capecchi, Sara 1 Cherubini, Anna Maria 1 Cozzi, Federico 1 D’Antoni, Loris 1 De Luca, Marco 1 Dezani, Mariangiola 1 Drocco, Maurizio 1 Drossopoulou, Sophia Chloe 1 Ferrari, Alberto 1 Giachino, Elena 1 Grassi, Elena 1 Hirschkoff, Daniel 1 Honsell, Furio 1 Persiano, Giuseppe 1 Ronchi Della Rocca, Simona 1 Salle, Patrick 1 Salvo, Ivano 1 Sciacca, Eva 1 Spinella, Salvatore 1 Troina, Angelo all top 5 Serials 5 Theoretical Computer Science 3 Information and Computation 3 MSCS. Mathematical Structures in Computer Science 3 Lecture Notes in Computer Science 1 Acta Informatica 1 Archiv für Mathematische Logik und Grundlagenforschung 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Theory of Computing Systems 1 RIMS Kokyuroku 1 Electronic Notes in Theoretical Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Logical and Algebraic Methods in Programming Fields 40 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 46 Publications have been cited 562 times in 280 Documents Cited by ▼ Year ▼ A filter lambda model and the completeness of type assignment. Zbl 0545.03004Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola 132 1983 An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010Coppo, Mario; Dezani-Ciancaglini, Mariangiola 65 1980 Extended type structures and filter lambda models. Zbl 0558.03007Coppo, M.; Dezani-Ciancaglini, M.; Honsell, F.; Longo, Giuseppe 42 1984 Functional characters of solvable terms. Zbl 0479.03006Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. 42 1981 A new type assignment for \(\lambda\)-terms. Zbl 0418.03010Coppo, M.; Dezani-Ciancaglini, M. 41 1978 Type theories, normal forms, and \(D_{\infty}\)-lambda-models. Zbl 0645.03011Coppo, M.; Dezani-Ciancaglini, M.; Zacchi, M. 33 1987 Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko 28 2008 Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca 18 2016 Asynchronous session types and progress for object oriented languages. Zbl 1202.68094Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko 14 2007 (Semi)-separability of finite sets of terms in Scott’s \(D_\infty\)-models of the \(\lambda\)-calculus. Zbl 0394.03021Coppo, M.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S. 12 1978 Type inference with recursive types: Syntax and semantics. Zbl 0722.68076Cardone, Felice; Coppo, Mario 10 1991 Completeness of type assignment in continuous lambda models. Zbl 0538.03012Coppo, Mario 10 1984 A completeness theorem for recursively defined types. Zbl 0585.68047Coppo, M. 9 1985 Type inference, abstract interpretation and strictness analysis. Zbl 0832.68008Coppo, Mario; Ferrari, Alberto 8 1993 Amalgamating sessions and methods in object-oriented languages with generics. Zbl 1169.68011Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena 7 2009 Functional characterization of some semantic equalities inside lambda- calculus. Zbl 0411.03013Coppo, M.; Dezani-Ciancaglini, M.; Salle, P. 7 1979 Termination tests inside lambda-calculus. Zbl 0358.02025Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M. 7 1977 A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko 5 2015 M\(^3\): mobility types for mobile processes in mobile ambients. Zbl 1270.68211Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano 5 2003 Strictness, totality, and non-standard-type inference. Zbl 0984.68028Coppo, Mario; Damiani, Ferruccio; Giannini, Paola 5 2002 Applicative information systems. Zbl 0524.68018Coppo, M.; Dezani, M.; Longo, Giuseppe 5 1983 An extended polymorphic type system for applicative languages. Zbl 0447.68021Coppo, Mario 5 1980 Types for ambient and process mobility. Zbl 1141.68046Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio 4 2008 Dynamic and local typing for mobile ambients. Zbl 1094.68060Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario 4 2004 Decidability properties of recursive types. Zbl 1257.68056Cardone, Felice; Coppo, Mario 4 2003 Completeness results for a polymorphic type system. Zbl 0523.68011Coppo, M.; Giovannetti, E. 4 1983 Data-driven adaptation for smart sessions. Zbl 1371.68188Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti 3 2017 Simulation techniques for the calculus of wrapped compartments. Zbl 1238.68096Coppo, Mario; Damiani, Ferruccio; Drocco, Maurizio; Grassi, Elena; Sciacca, Eva; Spinella, Salvatore; Troina, Angelo 3 2012 A mobility calculus with local and dependent types. Zbl 1171.68566Coppo, Mario; Cozzi, Federico; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario 3 2005 A fully abstract model for higher-order mobile ambients. Zbl 1057.68640Coppo, Mario; Dezani-Ciancaglini, Mariangiola 3 2002 On the semantics of polymorphism. Zbl 0504.03007Coppo, Mario 3 1983 Trees and \(\lambda\)-terms. Zbl 0364.02016Coppo, M.; Dezani-Ciancaglini, M. 3 1977 Isomorphism of intersection and union types. Zbl 1364.68128Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena 2 2017 Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 – May 4, 2003. Revised selected papers. Zbl 1052.68001Berardi, Stefano (ed.); Coppo, Mario (ed.); Damiani, Ferruccio (ed.) 2 2004 On strictness and totality. Zbl 0884.03028Coppo, Mario; Damiani, Ferruccio; Giannini, Paola 2 1997 Principal types and unification for simple intersection type systems. Zbl 0834.68063Coppo, Mario; Giannini, Paola 2 1995 Isomorphism of “functional” intersection types. Zbl 1359.03014Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena 1 2014 Theoretical computer science. 9th Italian conference, ICTCS 2005, Siena, Italy, October 12–14, 2005. Proceedings. Zbl 1089.68004Coppo, Mario (ed.); Lodi, Elena (ed.); Pinna, G. Michele (ed.) 1 2005 A fully abstract model for mobile ambients. Zbl 1268.68124Coppo, M.; Dezani-Ciancaglini, M. 1 2002 Incremental inference of partial types. Zbl 1042.68029Coppo, Mario; Hirschkoff, Daniel 1 2001 Type inference with recursive type equations. Zbl 0983.03011Coppo, Mario 1 2001 Type-based useless-code elimination for functional programs (position paper). Zbl 1044.68542Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio; Giannini, Paola 1 2000 Recursive types: The syntactic and semantic approaches. Zbl 0944.68012Coppo, Mario 1 1998 Inference based analyses of functional programs: Dead-code and strictness. Zbl 0951.68017Coppo, Mario; Damiani, Ferruccio; Giannini, Paola 1 1998 Types for proofs and programs. International workshop TYPES ’95, Torino, Italy, June 5–8, 1995. Selected papers. Zbl 0852.00045Berardi, Stefano (ed.); Coppo, Mario (ed.) 1 1996 Syntactic and semantics trees versus type trees inside \(\lambda\)- calculus. Zbl 0381.03015Coppo, M.; Dezani-Ciancaglini, M. 1 1978 Data-driven adaptation for smart sessions. Zbl 1371.68188Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti 3 2017 Isomorphism of intersection and union types. Zbl 1364.68128Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena 2 2017 Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca 18 2016 A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko 5 2015 Isomorphism of “functional” intersection types. Zbl 1359.03014Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena 1 2014 Simulation techniques for the calculus of wrapped compartments. Zbl 1238.68096Coppo, Mario; Damiani, Ferruccio; Drocco, Maurizio; Grassi, Elena; Sciacca, Eva; Spinella, Salvatore; Troina, Angelo 3 2012 Amalgamating sessions and methods in object-oriented languages with generics. Zbl 1169.68011Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena 7 2009 Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko 28 2008 Types for ambient and process mobility. Zbl 1141.68046Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio 4 2008 Asynchronous session types and progress for object oriented languages. Zbl 1202.68094Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko 14 2007 A mobility calculus with local and dependent types. Zbl 1171.68566Coppo, Mario; Cozzi, Federico; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario 3 2005 Theoretical computer science. 9th Italian conference, ICTCS 2005, Siena, Italy, October 12–14, 2005. Proceedings. Zbl 1089.68004Coppo, Mario (ed.); Lodi, Elena (ed.); Pinna, G. Michele (ed.) 1 2005 Dynamic and local typing for mobile ambients. Zbl 1094.68060Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario 4 2004 Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 – May 4, 2003. Revised selected papers. Zbl 1052.68001Berardi, Stefano (ed.); Coppo, Mario (ed.); Damiani, Ferruccio (ed.) 2 2004 M\(^3\): mobility types for mobile processes in mobile ambients. Zbl 1270.68211Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano 5 2003 Decidability properties of recursive types. Zbl 1257.68056Cardone, Felice; Coppo, Mario 4 2003 Strictness, totality, and non-standard-type inference. Zbl 0984.68028Coppo, Mario; Damiani, Ferruccio; Giannini, Paola 5 2002 A fully abstract model for higher-order mobile ambients. Zbl 1057.68640Coppo, Mario; Dezani-Ciancaglini, Mariangiola 3 2002 A fully abstract model for mobile ambients. Zbl 1268.68124Coppo, M.; Dezani-Ciancaglini, M. 1 2002 Incremental inference of partial types. Zbl 1042.68029Coppo, Mario; Hirschkoff, Daniel 1 2001 Type inference with recursive type equations. Zbl 0983.03011Coppo, Mario 1 2001 Type-based useless-code elimination for functional programs (position paper). Zbl 1044.68542Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio; Giannini, Paola 1 2000 Recursive types: The syntactic and semantic approaches. Zbl 0944.68012Coppo, Mario 1 1998 Inference based analyses of functional programs: Dead-code and strictness. Zbl 0951.68017Coppo, Mario; Damiani, Ferruccio; Giannini, Paola 1 1998 On strictness and totality. Zbl 0884.03028Coppo, Mario; Damiani, Ferruccio; Giannini, Paola 2 1997 Types for proofs and programs. International workshop TYPES ’95, Torino, Italy, June 5–8, 1995. Selected papers. Zbl 0852.00045Berardi, Stefano (ed.); Coppo, Mario (ed.) 1 1996 Principal types and unification for simple intersection type systems. Zbl 0834.68063Coppo, Mario; Giannini, Paola 2 1995 Type inference, abstract interpretation and strictness analysis. Zbl 0832.68008Coppo, Mario; Ferrari, Alberto 8 1993 Type inference with recursive types: Syntax and semantics. Zbl 0722.68076Cardone, Felice; Coppo, Mario 10 1991 Type theories, normal forms, and \(D_{\infty}\)-lambda-models. Zbl 0645.03011Coppo, M.; Dezani-Ciancaglini, M.; Zacchi, M. 33 1987 A completeness theorem for recursively defined types. Zbl 0585.68047Coppo, M. 9 1985 Extended type structures and filter lambda models. Zbl 0558.03007Coppo, M.; Dezani-Ciancaglini, M.; Honsell, F.; Longo, Giuseppe 42 1984 Completeness of type assignment in continuous lambda models. Zbl 0538.03012Coppo, Mario 10 1984 A filter lambda model and the completeness of type assignment. Zbl 0545.03004Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola 132 1983 Applicative information systems. Zbl 0524.68018Coppo, M.; Dezani, M.; Longo, Giuseppe 5 1983 Completeness results for a polymorphic type system. Zbl 0523.68011Coppo, M.; Giovannetti, E. 4 1983 On the semantics of polymorphism. Zbl 0504.03007Coppo, Mario 3 1983 Functional characters of solvable terms. Zbl 0479.03006Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. 42 1981 An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010Coppo, Mario; Dezani-Ciancaglini, Mariangiola 65 1980 An extended polymorphic type system for applicative languages. Zbl 0447.68021Coppo, Mario 5 1980 Functional characterization of some semantic equalities inside lambda- calculus. Zbl 0411.03013Coppo, M.; Dezani-Ciancaglini, M.; Salle, P. 7 1979 A new type assignment for \(\lambda\)-terms. Zbl 0418.03010Coppo, M.; Dezani-Ciancaglini, M. 41 1978 (Semi)-separability of finite sets of terms in Scott’s \(D_\infty\)-models of the \(\lambda\)-calculus. Zbl 0394.03021Coppo, M.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S. 12 1978 Syntactic and semantics trees versus type trees inside \(\lambda\)- calculus. Zbl 0381.03015Coppo, M.; Dezani-Ciancaglini, M. 1 1978 Termination tests inside lambda-calculus. Zbl 0358.02025Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M. 7 1977 Trees and \(\lambda\)-terms. Zbl 0364.02016Coppo, M.; Dezani-Ciancaglini, M. 3 1977 all cited Publications top 5 cited Publications all top 5 Cited by 294 Authors 37 Dezani-Ciancaglini, Mariangiola 17 Yoshida, Nobuko 16 Coppo, Mario 15 van Bakel, Steffen 13 Ronchi Della Rocca, Simona 11 Ghilezan, Silvia 10 de’Liguoro, Ugo 9 Barbanera, Franco 9 Fernández, Maribel 7 Kesner, Delia 6 Alessi, Fabio 6 Manzonetto, Giulio 6 Margaria, Ines 6 Paolini, Luca 6 Salibra, Antonino 6 Venneri, Betti 6 Zacchi, Maddalena 5 Berline, Chantal 5 Bucciarelli, Antonio 5 Capecchi, Sara 5 Castellani, Ilaria 5 Montesi, Fabrizio 5 Padovani, Luca 5 Pérez, Jorge A. 5 Urzyczyn, Paweł 4 Bartoletti, Massimo 4 Cardone, Felice 4 Giachino, Elena 4 Honsell, Furio 4 Longo, Giuseppe 4 Meyer, Robert Kenneth 4 Mostrous, Dimitris 4 Pantović, Jovanka 4 Scalas, Alceste 4 Severi, Paula Gabriela 3 Alves, Sandra 3 Barendregt, Hendrik Pieter 3 Bocchi, Laura 3 Bono, Viviana 3 Chen, Tzu-Chun 3 Compagnoni, Adriana B. 3 Giannini, Paola 3 Hindley, J. Roger 3 Honda, Kohei 3 Lescanne, Pierre 3 Levi, Francesca 3 Likavec, Silvia 3 Liquori, Luigi 3 Mitchell, John C. 3 Motohama, Yoko 3 Rowe, Reuben N. S. 3 Tiezzi, Francesco 3 Toninho, Bernardo 3 Vasconcelos, Vasco Thudichum 3 Lima Ventura, Daniel 3 Zunino, Roberto 2 Barbuti, Roberto 2 Berardi, Stefano 2 Bettini, Lorenzo 2 Bunder, Martin W. 2 Caires, Luís 2 Carbone, Marco 2 Carraro, Alberto 2 Castagna, Giuseppe 2 Cruz-Filipe, Luís 2 Curien, Pierre-Louis 2 Damiani, Ferruccio 2 de Vries, Fer-Jan J. 2 Demangeon, Romain 2 Dougherty, Daniel J. 2 Drossopoulou, Sophia Chloe 2 Dunfield, Joshua 2 Ehrhard, Thomas 2 Florido, Mário 2 Giovannetti, Elio 2 Giunti, Marco 2 Hennessy, Matthew C. B. 2 Hu, Raymond 2 Intrigila, Benedetto 2 Jakšić, Svetlana 2 Jeffrey, Alan S. A. 2 Kfoury, Assaf J. 2 Kurata, Toshihiko 2 Lengrand, Stéphane Jean Eric 2 Lenisa, Marina 2 Lusin, Stefania 2 Milazzo, Paolo 2 Miquel, Alexandre 2 Neykova, Rumyana 2 Pagani, Michele 2 Piccolo, Mauro 2 Pierce, Benjamin C. 2 Piperno, Adolfo 2 Polonsky, Andrew 2 Pugliese, Rosario 2 Ruoppolo, Domenico 2 Sabel, David 2 Salle, Patrick 2 Salvati, Sylvain 2 Schmidt-Schauß, Manfred ...and 194 more Authors all top 5 Cited in 31 Serials 78 Theoretical Computer Science 32 Information and Computation 20 MSCS. Mathematical Structures in Computer Science 16 Annals of Pure and Applied Logic 10 Logical Methods in Computer Science 10 Journal of Logical and Algebraic Methods in Programming 8 Journal of Functional Programming 6 The Journal of Symbolic Logic 5 Formal Aspects of Computing 4 Acta Informatica 4 Notre Dame Journal of Formal Logic 4 Higher-Order and Symbolic Computation 3 RAIRO, Informatique Théorique 3 The Bulletin of Symbolic Logic 3 The Journal of Logic and Algebraic Programming 2 Journal of Computer and System Sciences 2 RAIRO. Informatique Théorique et Applications 2 Formal Methods in System Design 2 RAIRO. Theoretical Informatics and Applications 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Information Processing Letters 1 Information Sciences 1 Studia Logica 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Distributed Computing 1 Archive for Mathematical Logic 1 Theory of Computing Systems 1 Computer Languages, Systems & Structures 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 12 Fields 208 Computer science (68-XX) 159 Mathematical logic and foundations (03-XX) 5 Category theory; homological algebra (18-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Biology and other natural sciences (92-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) Citations by Year