×

zbMATH — the first resource for mathematics

Coppo, Mario

Compute Distance To:
Author ID: coppo.mario Recent zbMATH articles by "Coppo, Mario"
Published as: Coppo, M.; Coppo, Mario
Documents Indexed: 51 Publications since 1977, including 6 Books
Biographic References: 1 Publication

Publications by Year

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.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
132
1983
An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
65
1980
Extended type structures and filter lambda models. Zbl 0558.03007
Coppo, M.; Dezani-Ciancaglini, M.; Honsell, F.; Longo, Giuseppe
42
1984
Functional characters of solvable terms. Zbl 0479.03006
Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
42
1981
A new type assignment for \(\lambda\)-terms. Zbl 0418.03010
Coppo, M.; Dezani-Ciancaglini, M.
41
1978
Type theories, normal forms, and \(D_{\infty}\)-lambda-models. Zbl 0645.03011
Coppo, M.; Dezani-Ciancaglini, M.; Zacchi, M.
33
1987
Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456
Bettini, 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.68165
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca
18
2016
Asynchronous session types and progress for object oriented languages. Zbl 1202.68094
Coppo, 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.03021
Coppo, M.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.
12
1978
Type inference with recursive types: Syntax and semantics. Zbl 0722.68076
Cardone, Felice; Coppo, Mario
10
1991
Completeness of type assignment in continuous lambda models. Zbl 0538.03012
Coppo, Mario
10
1984
A completeness theorem for recursively defined types. Zbl 0585.68047
Coppo, M.
9
1985
Type inference, abstract interpretation and strictness analysis. Zbl 0832.68008
Coppo, Mario; Ferrari, Alberto
8
1993
Amalgamating sessions and methods in object-oriented languages with generics. Zbl 1169.68011
Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena
7
2009
Functional characterization of some semantic equalities inside lambda- calculus. Zbl 0411.03013
Coppo, M.; Dezani-Ciancaglini, M.; Salle, P.
7
1979
Termination tests inside lambda-calculus. Zbl 0358.02025
Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M.
7
1977
A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
5
2015
M\(^3\): mobility types for mobile processes in mobile ambients. Zbl 1270.68211
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano
5
2003
Strictness, totality, and non-standard-type inference. Zbl 0984.68028
Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
5
2002
Applicative information systems. Zbl 0524.68018
Coppo, M.; Dezani, M.; Longo, Giuseppe
5
1983
An extended polymorphic type system for applicative languages. Zbl 0447.68021
Coppo, Mario
5
1980
Types for ambient and process mobility. Zbl 1141.68046
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio
4
2008
Dynamic and local typing for mobile ambients. Zbl 1094.68060
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
4
2004
Decidability properties of recursive types. Zbl 1257.68056
Cardone, Felice; Coppo, Mario
4
2003
Completeness results for a polymorphic type system. Zbl 0523.68011
Coppo, M.; Giovannetti, E.
4
1983
Data-driven adaptation for smart sessions. Zbl 1371.68188
Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti
3
2017
Simulation techniques for the calculus of wrapped compartments. Zbl 1238.68096
Coppo, 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.68566
Coppo, Mario; Cozzi, Federico; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
3
2005
A fully abstract model for higher-order mobile ambients. Zbl 1057.68640
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
3
2002
On the semantics of polymorphism. Zbl 0504.03007
Coppo, Mario
3
1983
Trees and \(\lambda\)-terms. Zbl 0364.02016
Coppo, M.; Dezani-Ciancaglini, M.
3
1977
Isomorphism of intersection and union types. Zbl 1364.68128
Coppo, 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.68001
Berardi, Stefano (ed.); Coppo, Mario (ed.); Damiani, Ferruccio (ed.)
2
2004
On strictness and totality. Zbl 0884.03028
Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
2
1997
Principal types and unification for simple intersection type systems. Zbl 0834.68063
Coppo, Mario; Giannini, Paola
2
1995
Isomorphism of “functional” intersection types. Zbl 1359.03014
Coppo, 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.68004
Coppo, Mario (ed.); Lodi, Elena (ed.); Pinna, G. Michele (ed.)
1
2005
A fully abstract model for mobile ambients. Zbl 1268.68124
Coppo, M.; Dezani-Ciancaglini, M.
1
2002
Incremental inference of partial types. Zbl 1042.68029
Coppo, Mario; Hirschkoff, Daniel
1
2001
Type inference with recursive type equations. Zbl 0983.03011
Coppo, Mario
1
2001
Type-based useless-code elimination for functional programs (position paper). Zbl 1044.68542
Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
1
2000
Recursive types: The syntactic and semantic approaches. Zbl 0944.68012
Coppo, Mario
1
1998
Inference based analyses of functional programs: Dead-code and strictness. Zbl 0951.68017
Coppo, 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.00045
Berardi, Stefano (ed.); Coppo, Mario (ed.)
1
1996
Syntactic and semantics trees versus type trees inside \(\lambda\)- calculus. Zbl 0381.03015
Coppo, M.; Dezani-Ciancaglini, M.
1
1978
Data-driven adaptation for smart sessions. Zbl 1371.68188
Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti
3
2017
Isomorphism of intersection and union types. Zbl 1364.68128
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
2
2017
Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca
18
2016
A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
5
2015
Isomorphism of “functional” intersection types. Zbl 1359.03014
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
1
2014
Simulation techniques for the calculus of wrapped compartments. Zbl 1238.68096
Coppo, 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.68011
Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena
7
2009
Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456
Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
28
2008
Types for ambient and process mobility. Zbl 1141.68046
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio
4
2008
Asynchronous session types and progress for object oriented languages. Zbl 1202.68094
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
14
2007
A mobility calculus with local and dependent types. Zbl 1171.68566
Coppo, 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.68004
Coppo, Mario (ed.); Lodi, Elena (ed.); Pinna, G. Michele (ed.)
1
2005
Dynamic and local typing for mobile ambients. Zbl 1094.68060
Coppo, 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.68001
Berardi, Stefano (ed.); Coppo, Mario (ed.); Damiani, Ferruccio (ed.)
2
2004
M\(^3\): mobility types for mobile processes in mobile ambients. Zbl 1270.68211
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano
5
2003
Decidability properties of recursive types. Zbl 1257.68056
Cardone, Felice; Coppo, Mario
4
2003
Strictness, totality, and non-standard-type inference. Zbl 0984.68028
Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
5
2002
A fully abstract model for higher-order mobile ambients. Zbl 1057.68640
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
3
2002
A fully abstract model for mobile ambients. Zbl 1268.68124
Coppo, M.; Dezani-Ciancaglini, M.
1
2002
Incremental inference of partial types. Zbl 1042.68029
Coppo, Mario; Hirschkoff, Daniel
1
2001
Type inference with recursive type equations. Zbl 0983.03011
Coppo, Mario
1
2001
Type-based useless-code elimination for functional programs (position paper). Zbl 1044.68542
Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
1
2000
Recursive types: The syntactic and semantic approaches. Zbl 0944.68012
Coppo, Mario
1
1998
Inference based analyses of functional programs: Dead-code and strictness. Zbl 0951.68017
Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
1
1998
On strictness and totality. Zbl 0884.03028
Coppo, 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.00045
Berardi, Stefano (ed.); Coppo, Mario (ed.)
1
1996
Principal types and unification for simple intersection type systems. Zbl 0834.68063
Coppo, Mario; Giannini, Paola
2
1995
Type inference, abstract interpretation and strictness analysis. Zbl 0832.68008
Coppo, Mario; Ferrari, Alberto
8
1993
Type inference with recursive types: Syntax and semantics. Zbl 0722.68076
Cardone, Felice; Coppo, Mario
10
1991
Type theories, normal forms, and \(D_{\infty}\)-lambda-models. Zbl 0645.03011
Coppo, M.; Dezani-Ciancaglini, M.; Zacchi, M.
33
1987
A completeness theorem for recursively defined types. Zbl 0585.68047
Coppo, M.
9
1985
Extended type structures and filter lambda models. Zbl 0558.03007
Coppo, M.; Dezani-Ciancaglini, M.; Honsell, F.; Longo, Giuseppe
42
1984
Completeness of type assignment in continuous lambda models. Zbl 0538.03012
Coppo, Mario
10
1984
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
132
1983
Applicative information systems. Zbl 0524.68018
Coppo, M.; Dezani, M.; Longo, Giuseppe
5
1983
Completeness results for a polymorphic type system. Zbl 0523.68011
Coppo, M.; Giovannetti, E.
4
1983
On the semantics of polymorphism. Zbl 0504.03007
Coppo, Mario
3
1983
Functional characters of solvable terms. Zbl 0479.03006
Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
42
1981
An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
65
1980
An extended polymorphic type system for applicative languages. Zbl 0447.68021
Coppo, Mario
5
1980
Functional characterization of some semantic equalities inside lambda- calculus. Zbl 0411.03013
Coppo, M.; Dezani-Ciancaglini, M.; Salle, P.
7
1979
A new type assignment for \(\lambda\)-terms. Zbl 0418.03010
Coppo, 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.03021
Coppo, M.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.
12
1978
Syntactic and semantics trees versus type trees inside \(\lambda\)- calculus. Zbl 0381.03015
Coppo, M.; Dezani-Ciancaglini, M.
1
1978
Termination tests inside lambda-calculus. Zbl 0358.02025
Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M.
7
1977
Trees and \(\lambda\)-terms. Zbl 0364.02016
Coppo, M.; Dezani-Ciancaglini, M.
3
1977
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

Citations by Year