×

Dezani-Ciancaglini, Mariangiola

Compute Distance To:
Author ID: dezani-ciancaglini.mariangiola Recent zbMATH articles by "Dezani-Ciancaglini, Mariangiola"
Published as: Dezani-Ciancaglini, Mariangiola; Dezani-Ciancaglini, M.; Dezaniciancaglini, Mariangiola; Dezani Ciancaglini, M.
External Links: ORCID
all top 5

Co-Authors

2 single-authored
29 Coppo, Mario
14 Giannini, Paola
11 Böhm, Corrado
10 Barbanera, Franco
10 Ghilezan, Silvia
9 Alessi, Fabio
9 Castellani, Ilaria
9 de’Liguoro, Ugo
9 Giovannetti, Elio
9 Ronchi Della Rocca, Simona
9 Yoshida, Nobuko
7 Capecchi, Sara
7 Honsell, Furio
6 Margaria, Ines
6 Venneri, Betti
6 Zacchi, Maddalena
5 Drossopoulou, Sophia Chloe
5 Motohama, Yoko
5 Pantović, Jovanka
5 Severi, Paula Gabriela
5 Troina, Angelo
4 Bettini, Lorenzo
4 Bono, Viviana
4 Giachino, Elena
4 Padovani, Luca
4 Sassone, Vladimiro
3 Ausiello, Giorgio
3 Barendregt, Hendrik Pieter
3 Bugliesi, Michele
3 Cardone, Felice
3 de Vries, Fer-Jan J.
3 Longo, Giuseppe
3 Piperno, Adolfo
3 Salvo, Ivano
3 Tatsuta, Makoto
3 van Bakel, Steffen
2 Bioglio, Livio
2 Bonelli, Eduardo
2 Castagna, Giuseppe
2 Compagnoni, Adriana B.
2 Damiani, Ferruccio
2 Di Cosmo, Roberto
2 Garralda, Pablo
2 Hindley, J. Roger
2 Horne, Ross
2 Jakšić, Svetlana
2 Okada, Mitsuhiro
2 Pérez, Jorge A.
2 Plotkin, Gordon D.
2 Pugliese, Rosario
2 Seldin, Jonathan P.
2 Statman, Richard
2 Takahashi, Masako
2 Tuosto, Emilio
2 Urzyczyn, Paweł
2 Varacca, Daniele
2 Zucca, Elena
1 Ahern, Alexander
1 Aman, Bogdan
1 Barbuti, Roberto
1 Bartoletti, Massimo
1 Berarducci, Alessandro
1 Bezem, Marc
1 Böhm, Ariela
1 Böhm, Emanuele
1 Böhm, Michele
1 Böhm, Nora Perugia
1 Bunder, Martin W.
1 Chen, Tzu-Chun
1 Cozzi, Federico
1 D’Antoni, Loris
1 de Bruijn, Nicolaas Govert
1 De Luca, Marco
1 Dekkers, Wil J. M.
1 Deniélou, Pierre-Malo
1 Diller, Justus
1 Dougherty, Dan
1 Dowek, Gilles
1 Feferman, Solomon
1 Fitch, Frederic Brenton
1 Frisch, Alain
1 Gandy, Robin O.
1 Gilmore, Paul C.
1 Howard, William A.
1 Kearns, John T.
1 Klop, Jan Willem
1 Koymans, Karst
1 Kuzichev, Alexander Sergeevich
1 Lambek, Joachim
1 Lanese, Ivan
1 Lengrand, Stéphane Jean Eric
1 Lescanne, Pierre
1 Levy, Jean-Jacques
1 Likavec, Silvia
1 Liquori, Luigi
1 Lusin, Stefania
1 Maggiolo-Schettini, Andrea
1 Manfredini, Francesca
1 Meredith, David
1 Meyer, Robert Kenneth
...and 21 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

116 Publications have been cited 983 times in 398 Documents Cited by Year
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
135
1983
An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
67
1980
A new type assignment for \(\lambda\)-terms. Zbl 0418.03010
Coppo, M.; Dezani-Ciancaglini, M.
44
1978
Functional characters of solvable terms. Zbl 0479.03006
Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
44
1981
Extended type structures and filter lambda models. Zbl 0558.03007
Coppo, M.; Dezani-Ciancaglini, M.; Honsell, F.; Longo, Giuseppe
39
1984
Intersection and union types: Syntax and semantics. Zbl 0832.68065
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
33
1995
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
29
2008
Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001
Barendregt, Henk; Dekkers, Wil; Statman, Richard
22
2013
Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca
22
2016
Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus. Zbl 0368.02028
Dezani-Ciancaglini, Mariangiola
18
1976
A filter model for concurrent \(\lambda\)-calculus. Zbl 0916.03017
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
16
1998
On global types and multi-party sessions. Zbl 1238.68026
Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca
16
2012
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Objects and session types. Zbl 1183.68358
Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko
14
2009
Asynchronous session types and progress for object oriented languages. Zbl 1202.68094
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
14
2007
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005
Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S.
13
1979
(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
Intersection types for combinatory logic. Zbl 0771.03004
Dezani-Ciancaglini, Mariangiola; Hindley, J. Roger
12
1992
Combinatorial problems, combinator equations and normal forms. Zbl 0309.68037
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola
11
1974
Security types for mobile safe ambients. Zbl 0988.68544
Dezani-Ciancaglini, M.; Salvo, I.
11
2000
A characterization of F-complete type assignments. Zbl 0619.03014
Dezani-Ciancaglini, Mariangiola; Margaria, Ines
11
1986
Infinite \(\lambda\)-calculus and types. Zbl 0913.68131
Berarducci, Alessandro; Dezani-Ciancaglini, Mariangiola
9
1999
Filter models for conjunctive-disjunctive \(\lambda\)-calculi. Zbl 0874.03015
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
9
1996
Bounded session types for object oriented languages. Zbl 1147.68445
Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko
9
2007
Compositional characterizations of \(\lambda\)-terms using intersection types (extended abstract). Zbl 0996.03501
Dezani-Ciancaglini, M.; Honsell, F.; Motohama, Y.
8
2000
The “relevance” of intersection and union types. Zbl 0918.03008
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Venneri, Betti
8
1997
The semantics of entailment omega. Zbl 1042.03019
Dezani-Ciancaglini, Mariangiola; Meyer, Robert K.; Motohama, Yoko
8
2002
Filter models and easy terms. Zbl 1042.03014
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; Honsell, Furio
8
2001
Session types for access and information flow control. Zbl 1287.68126
Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Rezk, Tamara
8
2010
On the preciseness of subtyping in session types. Zbl 1398.68360
Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko
8
2017
Intersection types and domain operators. Zbl 1055.03011
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; Lusin, Stefania
7
2004
Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia
7
2004
\(\lambda\)-terms as total or partial functions on normal forms. Zbl 0342.02017
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola
7
1975
Termination tests inside lambda-calculus. Zbl 0358.02025
Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M.
7
1977
A distributed object-oriented language with session types. Zbl 1151.68347
Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia
7
2005
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
F-semantics for intersection type discipline. Zbl 0552.68006
Dezani-Ciancaglini, M.; Margaria, I.
7
1984
A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
7
2015
Typing access control and secure information flow in sessions. Zbl 1360.68207
Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola
6
2014
Two behavioural lambda models. Zbl 1023.03022
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia
6
2003
Compositional characterisations of \(\lambda\)-terms using intersection types. Zbl 1077.68017
Dezani-Ciancaglini, M.; Honsell, F.; Motohama, Y.
6
2005
Functional characterization of some semantic equalities inside lambda- calculus. Zbl 0411.03013
Coppo, M.; Dezani-Ciancaglini, M.; Salle, P.
6
1979
Intersection types and lambda models. Zbl 1088.68031
Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
6
2006
Intersection types, \(\lambda\)-models, and Böhm trees. Zbl 0946.03016
Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; de’Liguoro, Ugo
6
1998
A complete characterization of complete intersection-type preorders. Zbl 1365.03015
Dezani-Ciancaglini, M.; Honsell, F.; Alessi, F.
6
2003
Reversible sessions with flexible choices. Zbl 1462.68121
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
5
2019
Discrimination by parallel observers: the algorithm. Zbl 1045.68525
Dezani-Ciancaglini, Mariangiola; Tiuryn, Jerzy; Urzyczyn, Paweł
5
1999
A filter model for mobile processes. Zbl 0923.68088
Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
5
1999
Boxed ambients with communication interfaces. Zbl 1097.68083
Bonelli, Eduardo; Compagnoni, Adriana; Dezani-Ciancaglini, Mariangiola; Garralda, Pablo
5
2004
Intersection types for explicit substitutions. Zbl 1082.68014
Lengrand, Stéphane; Lescanne, Pierre; Dougherty, Dan; Dezani-Ciancaglini, Mariangiola; van Bakel, Steffen
5
2004
Types for role-based access control of dynamic web data. Zbl 1327.68169
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka
5
2011
Reversible client/server interactions. Zbl 1345.68016
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
5
2016
M\(^3\): mobility types for mobile processes in mobile ambients. Zbl 1270.68211
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano
4
2003
\(\mathcal F\)ickle: dynamic object re-classification. Zbl 0982.68636
Drossopoulou, Sophia; Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
4
2001
Infinitary lambda calculus and discrimination of Berarducci trees. Zbl 1038.68023
Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan
4
2003
A subtyping for extensible, incomplete objects. Zbl 1040.03506
Bono, Viviana; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Liquori, Luigi
4
1999
Intersection types for \(\lambda\)-trees. Zbl 0984.68033
van Bakel, Steffen; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de Vries, Fer-Jan
4
2002
Tracing where and who provenance in linked data: a calculus. Zbl 1253.68043
Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro
4
2012
Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena
4
2011
A calculus of bounded capacities. Zbl 1215.68036
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
4
2003
Security types for dynamic web data. Zbl 1146.68014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka; Varacca, Daniele
4
2008
From Böhm’s theorem to observational equivalences: an informal account. Zbl 1261.03074
Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio
4
2001
A type inference algorithm for secure ambients. Zbl 1268.68120
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro
4
2002
Types for ambient and process mobility. Zbl 1141.68046
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio
4
2008
Boxed ambients with communication interfaces. Zbl 1125.68081
Garralda, Pablo; Bonelli, Eduardo; Compagnoni, Adriana; Dezani-Ciancaglini, Mariangiola
4
2007
Information flow safety in multiparty sessions. Zbl 1362.68204
Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola
4
2016
Type disciplines for analysing biologically relevant properties. Zbl 1348.92066
Aman, Bogdan; Dezani-Ciancaglini, Mariangiola; Troina, Angelo
3
2009
Dynamic and local typing for mobile ambients. Zbl 1094.68060
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
3
2004
A fully abstract model for higher-order mobile ambients. Zbl 1057.68640
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
3
2002
Characterising strong normalisation for explicit substitutions. Zbl 1059.68020
van Bakel, Steffen; Dezani-Ciancaglini, Mariangiola
3
2002
Trees and \(\lambda\)-terms. Zbl 0364.02016
Coppo, M.; Dezani-Ciancaglini, M.
3
1977
Complexity of \(\lambda\)-term reductions. Zbl 0424.03009
Dezani-Ciancaglini, M.; Ronchi Della Rocca, S.; Saitta, L.
3
1979
A mobility calculus with local and dependent types. Zbl 1171.68566
Coppo, Mario; Cozzi, Federico; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
3
2005
Partial types and intervals. Zbl 0697.03005
Dezani-Ciancaglini, M.; Venneri, B.
3
1990
Approximation theorems for intersection type systems. Zbl 0984.03013
Dezani-Ciancaglini, Mariangiola; Honsell, Furio; Motohama, Yoko
3
2001
Combining type disciplines. Zbl 0813.03009
Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
3
1994
Combining behavioural types with security analysis. Zbl 1330.68045
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres
3
2015
The relevance of semantic subtyping. Zbl 1270.03043
Dezani-Ciancaglini, Mariangiola; Frisch, Alain; Giovannetti, Elio; Motohama, Yoko
3
2003
Session and union types for object oriented programming. Zbl 1143.68355
Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Betti
3
2008
Self-adaptation and secure information flow in multiparty communications. Zbl 1345.68232
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Pérez, Jorge A.
3
2016
A convex powerdomain over lattices: its logic and \(\lambda\)-calculus. Zbl 0926.68023
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
2
1997
Tailoring filter models. Zbl 1100.03511
Alessi, F.; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
2
2004
Listing of information structures defined by fixed-point operators. Zbl 0308.68028
Böhm, C.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.
2
1974
Reduction of storage employed to represent families of information structures. Zbl 0363.68047
Dezani-Ciancaglini, M.; Ronchi Della Rocca, S.
2
1977
Can syntax b e ignored during translation? Zbl 0261.68010
Böhm, Corrado; Dezani Ciancaglini, M.
2
1973
Security types for dynamic web data. Zbl 1211.68267
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka
2
2007
Fully abstract semantics for concurrent \(\lambda\)-calculus. Zbl 0942.03509
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
2
1994
Böhm’s theorem for Berarducci trees. Zbl 0967.68031
Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan
2
2000
Space-aware ambients and processes. Zbl 1111.68011
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
2
2007
Encoding \(\mathbb{C}\)Duce in the \(\mathbb{C}{\pi}\)-calculus. Zbl 1151.68514
Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Varacca, Daniele
2
2006
Isomorphism of intersection and union types. Zbl 1364.68128
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
2
2017
Application of Church-Rosser properties to increase the parallelism and efficiency of algorithms. Zbl 0298.68019
Dezani-Ciancaglini, Mariangiola; Zacchi, Maddalena
1
1974
Typed stochastic semantics for the calculus of looping sequences. Zbl 1284.68317
Bioglio, Livio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Troina, Angelo
1
2012
Type preorders and recursive terms. Zbl 1272.03072
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola
1
2005
A behavioural model for Klop’s calculus. Zbl 1276.03015
Dezani-Ciancaglini, Mariangiola; Tatsuta, Makoto
1
2007
Combinatory logic as monoids. Zbl 0688.03008
Böhm, C.; Dezani-Ciancaglini, M.
1
1989
A parenthesis machine for string manipulation. Zbl 0341.68038
Dezani-Ciancaglini, Mariangiola
1
1974
Syntactic and semantics trees versus type trees inside \(\lambda\)- calculus. Zbl 0381.03015
Coppo, M.; Dezani-Ciancaglini, M.
1
1978
Listing the functional digraph structures. Zbl 0269.68020
Böhm, Corrado; Dezani-Ciancaglini, M.
1
1974
Reversible sessions with flexible choices. Zbl 1462.68121
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
5
2019
Observational equivalence for multiparty sessions. Zbl 1436.68214
Severi, Paula; Dezani-Ciancaglini, Mariangiola
1
2019
On the preciseness of subtyping in session types. Zbl 1398.68360
Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko
8
2017
Isomorphism of intersection and union types. Zbl 1364.68128
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
2
2017
On sessions and infinite data. Zbl 1448.68211
Severi, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, Mariangiola
1
2017
Data-driven adaptation for smart sessions. Zbl 1371.68188
Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti
1
2017
Concurrent reversible sessions. Zbl 1442.68129
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
1
2017
Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca
22
2016
Reversible client/server interactions. Zbl 1345.68016
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
5
2016
Information flow safety in multiparty sessions. Zbl 1362.68204
Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola
4
2016
Self-adaptation and secure information flow in multiparty communications. Zbl 1345.68232
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Pérez, Jorge A.
3
2016
Reversible multiparty sessions with checkpoints. Zbl 1478.68190
Dezani-Ciancaglini, Mariangiola; Giannini, Paola
1
2016
A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
7
2015
Combining behavioural types with security analysis. Zbl 1330.68045
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres
3
2015
Typing access control and secure information flow in sessions. Zbl 1360.68207
Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola
6
2014
Preciseness of subtyping on intersection and union types. Zbl 1416.68035
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia
1
2014
Isomorphism of “functional” intersection types. Zbl 1359.03014
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
1
2014
Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001
Barendregt, Henk; Dekkers, Wil; Statman, Richard
22
2013
Deriving session and union types for objects. Zbl 1308.68035
Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Betti
1
2013
On global types and multi-party sessions. Zbl 1238.68026
Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca
16
2012
Tracing where and who provenance in linked data: a calculus. Zbl 1253.68043
Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro
4
2012
Typed stochastic semantics for the calculus of looping sequences. Zbl 1284.68317
Bioglio, Livio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Troina, Angelo
1
2012
Types for role-based access control of dynamic web data. Zbl 1327.68169
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka
5
2011
Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena
4
2011
Session types for access and information flow control. Zbl 1287.68126
Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Rezk, Tamara
8
2010
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183
Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
1
2010
On isomorphisms of intersection types. Zbl 1351.03007
Dezani-Ciancaglini, Mariangiola; Di Cosmo, Roberto; Giovannetti, Elio; Tatsuta, Makoto
1
2010
Objects and session types. Zbl 1183.68358
Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko
14
2009
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
Type disciplines for analysing biologically relevant properties. Zbl 1348.92066
Aman, Bogdan; Dezani-Ciancaglini, Mariangiola; Troina, Angelo
3
2009
Intersection, universally quantified, and reference types. Zbl 1257.03039
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Ronchi Della Rocca, Simona
1
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
29
2008
Security types for dynamic web data. Zbl 1146.68014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka; Varacca, Daniele
4
2008
Types for ambient and process mobility. Zbl 1141.68046
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio
4
2008
Session and union types for object oriented programming. Zbl 1143.68355
Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Betti
3
2008
Asynchronous session types and progress for object oriented languages. Zbl 1202.68094
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
14
2007
Bounded session types for object oriented languages. Zbl 1147.68445
Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko
9
2007
Boxed ambients with communication interfaces. Zbl 1125.68081
Garralda, Pablo; Bonelli, Eduardo; Compagnoni, Adriana; Dezani-Ciancaglini, Mariangiola
4
2007
Security types for dynamic web data. Zbl 1211.68267
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka
2
2007
Space-aware ambients and processes. Zbl 1111.68011
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
2
2007
A behavioural model for Klop’s calculus. Zbl 1276.03015
Dezani-Ciancaglini, Mariangiola; Tatsuta, Makoto
1
2007
Intersection types and lambda models. Zbl 1088.68031
Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
6
2006
Encoding \(\mathbb{C}\)Duce in the \(\mathbb{C}{\pi}\)-calculus. Zbl 1151.68514
Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Varacca, Daniele
2
2006
A distributed object-oriented language with session types. Zbl 1151.68347
Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia
7
2005
Compositional characterisations of \(\lambda\)-terms using intersection types. Zbl 1077.68017
Dezani-Ciancaglini, M.; Honsell, F.; Motohama, Y.
6
2005
A mobility calculus with local and dependent types. Zbl 1171.68566
Coppo, Mario; Cozzi, Federico; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
3
2005
Type preorders and recursive terms. Zbl 1272.03072
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola
1
2005
Intersection types and domain operators. Zbl 1055.03011
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; Lusin, Stefania
7
2004
Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia
7
2004
Boxed ambients with communication interfaces. Zbl 1097.68083
Bonelli, Eduardo; Compagnoni, Adriana; Dezani-Ciancaglini, Mariangiola; Garralda, Pablo
5
2004
Intersection types for explicit substitutions. Zbl 1082.68014
Lengrand, Stéphane; Lescanne, Pierre; Dougherty, Dan; Dezani-Ciancaglini, Mariangiola; van Bakel, Steffen
5
2004
Dynamic and local typing for mobile ambients. Zbl 1094.68060
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
3
2004
Tailoring filter models. Zbl 1100.03511
Alessi, F.; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
2
2004
Two behavioural lambda models. Zbl 1023.03022
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia
6
2003
A complete characterization of complete intersection-type preorders. Zbl 1365.03015
Dezani-Ciancaglini, M.; Honsell, F.; Alessi, F.
6
2003
M\(^3\): mobility types for mobile processes in mobile ambients. Zbl 1270.68211
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano
4
2003
Infinitary lambda calculus and discrimination of Berarducci trees. Zbl 1038.68023
Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan
4
2003
A calculus of bounded capacities. Zbl 1215.68036
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
4
2003
The relevance of semantic subtyping. Zbl 1270.03043
Dezani-Ciancaglini, Mariangiola; Frisch, Alain; Giovannetti, Elio; Motohama, Yoko
3
2003
Intersection types and computational rules. Zbl 1264.03045
Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
1
2003
The semantics of entailment omega. Zbl 1042.03019
Dezani-Ciancaglini, Mariangiola; Meyer, Robert K.; Motohama, Yoko
8
2002
Intersection types for \(\lambda\)-trees. Zbl 0984.68033
van Bakel, Steffen; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de Vries, Fer-Jan
4
2002
A type inference algorithm for secure ambients. Zbl 1268.68120
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro
4
2002
A fully abstract model for higher-order mobile ambients. Zbl 1057.68640
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
3
2002
Characterising strong normalisation for explicit substitutions. Zbl 1059.68020
van Bakel, Steffen; Dezani-Ciancaglini, Mariangiola
3
2002
A fully abstract model for mobile ambients. Zbl 1268.68124
Coppo, M.; Dezani-Ciancaglini, M.
1
2002
Filter models and easy terms. Zbl 1042.03014
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; Honsell, Furio
8
2001
\(\mathcal F\)ickle: dynamic object re-classification. Zbl 0982.68636
Drossopoulou, Sophia; Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
4
2001
From Böhm’s theorem to observational equivalences: an informal account. Zbl 1261.03074
Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio
4
2001
Approximation theorems for intersection type systems. Zbl 0984.03013
Dezani-Ciancaglini, Mariangiola; Honsell, Furio; Motohama, Yoko
3
2001
Security types for mobile safe ambients. Zbl 0988.68544
Dezani-Ciancaglini, M.; Salvo, I.
11
2000
Compositional characterizations of \(\lambda\)-terms using intersection types (extended abstract). Zbl 0996.03501
Dezani-Ciancaglini, M.; Honsell, F.; Motohama, Y.
8
2000
Böhm’s theorem for Berarducci trees. Zbl 0967.68031
Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan
2
2000
Infinite \(\lambda\)-calculus and types. Zbl 0913.68131
Berarducci, Alessandro; Dezani-Ciancaglini, Mariangiola
9
1999
Discrimination by parallel observers: the algorithm. Zbl 1045.68525
Dezani-Ciancaglini, Mariangiola; Tiuryn, Jerzy; Urzyczyn, Paweł
5
1999
A filter model for mobile processes. Zbl 0923.68088
Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
5
1999
A subtyping for extensible, incomplete objects. Zbl 1040.03506
Bono, Viviana; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Liquori, Luigi
4
1999
Special issue: Lambda-calculus and logic in honour of Roger Hindley. Zbl 0930.00009
1
1999
A filter model for concurrent \(\lambda\)-calculus. Zbl 0916.03017
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
16
1998
Intersection types, \(\lambda\)-models, and Böhm trees. Zbl 0946.03016
Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; de’Liguoro, Ugo
6
1998
The “relevance” of intersection and union types. Zbl 0918.03008
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Venneri, Betti
8
1997
A convex powerdomain over lattices: its logic and \(\lambda\)-calculus. Zbl 0926.68023
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
2
1997
Filter models for conjunctive-disjunctive \(\lambda\)-calculi. Zbl 0874.03015
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
9
1996
Intersection and union types: Syntax and semantics. Zbl 0832.68065
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
33
1995
Combining type disciplines. Zbl 0813.03009
Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
3
1994
Fully abstract semantics for concurrent \(\lambda\)-calculus. Zbl 0942.03509
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
2
1994
Intersection types for combinatory logic. Zbl 0771.03004
Dezani-Ciancaglini, Mariangiola; Hindley, J. Roger
12
1992
Partial types and intervals. Zbl 0697.03005
Dezani-Ciancaglini, M.; Venneri, B.
3
1990
Combinatory logic as monoids. Zbl 0688.03008
Böhm, C.; Dezani-Ciancaglini, M.
1
1989
Automata, languages and programming. 16th international colloquium, Stresa, Italy, July 11-15, 1989. Proceedings. Zbl 0681.00016
1
1989
Type theories, normal forms, and \(D_{\infty}\)-lambda-models. Zbl 0645.03011
Coppo, M.; Dezani-Ciancaglini, M.; Zacchi, M.
33
1987
A characterization of F-complete type assignments. Zbl 0619.03014
Dezani-Ciancaglini, Mariangiola; Margaria, Ines
11
1986
Extended type structures and filter lambda models. Zbl 0558.03007
Coppo, M.; Dezani-Ciancaglini, M.; Honsell, F.; Longo, Giuseppe
39
1984
F-semantics for intersection type discipline. Zbl 0552.68006
Dezani-Ciancaglini, M.; Margaria, I.
7
1984
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
135
1983
Functional characters of solvable terms. Zbl 0479.03006
Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
44
1981
An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
67
1980
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005
Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S.
13
1979
Functional characterization of some semantic equalities inside lambda- calculus. Zbl 0411.03013
Coppo, M.; Dezani-Ciancaglini, M.; Salle, P.
6
1979
...and 16 more Documents
all top 5

Cited by 384 Authors

53 Dezani-Ciancaglini, Mariangiola
25 Yoshida, Nobuko
19 Coppo, Mario
17 Ronchi Della Rocca, Simona
16 van Bakel, Steffen
13 Ghilezan, Silvia
13 Giannini, Paola
11 Barbanera, Franco
11 de’Liguoro, Ugo
10 Kesner, Delia
10 Manzonetto, Giulio
9 Fernández, Maribel
9 Pérez, Jorge A.
8 Venneri, Betti
7 Ancona, Davide
7 Bucciarelli, Antonio
7 Castellani, Ilaria
7 Margaria, Ines
7 Zacchi, Maddalena
6 Padovani, Luca
6 Pantović, Jovanka
6 Paolini, Luca
6 Salibra, Antonino
6 Tuosto, Emilio
5 Alessi, Fabio
5 Bartoletti, Massimo
5 Berline, Chantal
5 Bono, Viviana
5 Capecchi, Sara
5 Carbone, Marco
5 Gay, Simon J.
5 Honda, Kohei
5 Longo, Giuseppe
5 Montesi, Fabrizio
5 Urzyczyn, Paweł
5 Zucca, Elena
4 Bettini, Lorenzo
4 Bocchi, Laura
4 Castagna, Giuseppe
4 Compagnoni, Adriana B.
4 Damiani, Ferruccio
4 de Vries, Fer-Jan J.
4 Giachino, Elena
4 Honsell, Furio
4 Jakšić, Svetlana
4 Lanese, Ivan
4 Lescanne, Pierre
4 Liquori, Luigi
4 Meyer, Robert Kenneth
4 Mostrous, Dimitris
4 Pugliese, Rosario
4 Salvati, Sylvain
4 Sangiorgi, Davide
4 Sassone, Vladimiro
4 Scalas, Alceste
4 Severi, Paula Gabriela
4 Tiezzi, Francesco
4 Vasconcelos, Vasco Thudichum
4 Lima Ventura, Daniel
4 Zavattaro, Gianluigi
3 Alves, Sandra
3 Barendregt, Hendrik Pieter
3 Bravetti, Mario
3 Bunder, Martin W.
3 Chen, Tzu-Chun
3 Ciobanu, Gabriel
3 Curien, Pierre-Louis
3 Demangeon, Romain
3 Ehrhard, Thomas
3 Giovannetti, Elio
3 Hennessy, Matthew C. B.
3 Hindley, J. Roger
3 Hirokawa, Sachio
3 Horne, Ross
3 Kfoury, Assaf J.
3 Lagorio, Giovanni
3 Lange, Julien
3 Lengrand, Stéphane Jean Eric
3 Likavec, Silvia
3 Mitchell, John C.
3 Motohama, Yoko
3 Nielson, Flemming
3 Nour, Karim
3 Pagani, Michele
3 Riis Nielson, Hanne
3 Rowe, Reuben N. S.
3 Solov’ëv, Sergeĭ Vladimirovich
3 Toninho, Bernardo
3 Vieira, Hugo Torres
3 Zunino, Roberto
2 Amtoft, Torben
2 Berardi, Stefano
2 Bidinger, Philippe
2 Bioglio, Livio
2 Böhm, Corrado
2 Braghin, Chiara
2 Bruce, Kim B.
2 Caires, Luís
2 Cardone, Felice
2 Carraro, Alberto
...and 284 more Authors

Citations by Year