Mariangiola Dezani-Ciancaglini - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Mariangiola Dezani-Ciancaglini' as author, editor, or advisor:

Notes on "A CUCH-machine: The automatic treatment of bound variables"Corrado Böhm, Mariangiola Dezani. ijpp, 2(2):157-160, 1973. [doi]
Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007Vincent Danos, Mariangiola Dezani, editors, Volume 192 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008. [doi]
EATCS Fellows 2022 - Call for NominationsMariangiola Dezani. eatcs, 135, 2021. [doi]
EATCS Fellows 2020 - Call for NominationsChristel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano. eatcs, 129, 2019. [doi]
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas. dagstuhl-reports, 11(8):52-75, 2021. [doi]
EATCS Fellows 2021 - Call for NominationsChristel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano. eatcs, 132, 2020. [doi]
PrefaceMariangiola Dezani, Sabrina Mantaci, Marinella Sciortino. mscs, 27(2):92-93, 2017. [doi]
More dynamic object reclassification: Fickle::||::Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. TOPLAS, 24(2):153-191, 2002. [doi]
A Characterization of F-Complete Type AssignmentsMariangiola Dezani-Ciancaglini, Ines Margaria. TCS, 45(2):121-157, 1986.
Foundations of Session Types: 10 Years LaterGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani. ppdp 2019: [doi]
F-Semantics for Intersection Type DisciplineMariangiola Dezani-Ciancaglini, Ines Margaria. sdt 1984: 279-300
Infinite lambda-Calculus and TypesAlessandro Berarducci, Mariangiola Dezani-Ciancaglini. TCS, 212(1-2):29-75, 1999. [doi]
A complete characterization of complete intersection-type preordersMariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi. tocl, 4(1):120-147, 2003. [doi]
Data-driven adaptation for smart sessionsViviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri. jlp, 90:31-49, 2017. [doi]
Can addresses be types? (A case study: objects with delegation)Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou. ENTCS, 82(7):108-129, 2003. [doi]
A Fully Abstract Model for Higher-Order Mobile AmbientsMario Coppo, Mariangiola Dezani-Ciancaglini. vmcai 2002: 255-271 [doi]
Reversible client/server interactionsFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro. fac, 28(4):697-722, 2016. [doi]
Lambda-terms as total or partial functions on normal formsCorrado Böhm, Mariangiola Dezani-Ciancaglini. lambda 1975: 96-121
Information flow safety in multiparty sessionsSara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. mscs, 26(8):1352-1394, 2016. [doi]
Intersection and Union TypesFranco Barbanera, Mariangiola Dezani-Ciancaglini. tacs 1991: 651-674
Event Structure Semantics for Multiparty SessionsIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. BIRTHDAY 2019: 340-363 [doi]
Intersection Types in Java: Back to the FutureMariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri. BIRTHDAY 2019: 68-86 [doi]
PrefaceMariangiola Dezani-Ciancaglini. iandc, 109(1/2):1-3, February/March 1994.
Towards a semantic model for Java wildcardsAlexander J. Summers, Nicholas R. Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou. ECOOP 2010: [doi]
Tracing where and who provenance in Linked Data: A calculusMariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone. TCS, 464:113-129, 2012. [doi]
Type Theories, Normal Forms and D_/infty-Lambda-ModelsMario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi. iandc, 72(2):85-116, February 1987.
Global progress for dynamically interleaved multiparty sessionsMario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani. mscs, 26(2):238-302, 2016. [doi]
Intersection types for explicit substitutionsStéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel. iandc, 189(1):17-42, 2004. [doi]
Isomorphism of intersection and union typesMario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi. mscs, 27(5):603-625, 2017. [doi]
Re-classification and multi-threading: ::::Fickle::::::MT::Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. SAC 2004: 1297-1304 [doi]
Types for treesFranco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries. procomet 1998: 11-29
Global Progress in Dynamically Interleaved Multiparty SessionsLorenzo Bettini, Mario Coppo, Loris D Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. concur 2008: 418-433 [doi]
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th BirthdayMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida. BIRTHDAY 2016: 155-172 [doi]
Global types with internal delegationIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne. TCS, 807:128-153, 2020. [doi]
Functional Characters of Solvable TermsMario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri. mlq, 27(2-6):45-58, 1981. [doi]
Subtyping Constraints for Incomplete Objects (Extended Abstract)Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. tapsoft 1997: 465-477
Termination Tests inside lambda-CalculusCorrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini. icalp 1977: 95-110
A new type assignment for λ-termsMario Coppo, Mariangiola Dezani-Ciancaglini. AML, 19(1):139-156, 1978. [doi]
Constraints for Service ContractsMaria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari. tgc 2012: 104-120 [doi]
Tailoring Filter ModelsFabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini. TYPES 2004: 17-33 [doi]
Compositional Characterizations of lambda-Terms Using Intersection TypesMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama. mfcs 2000: 304-313 [doi]
Intersection Types for Combinatory LogicMariangiola Dezani-Ciancaglini, J. Roger Hindley. TCS, 100(2):303-324, 1992.
Self-Adaptive Monitors for Multiparty SessionsMario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri. pdp 2014: 688-696 [doi]
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of AlgorithmsMariangiola Dezani-Ciancaglini, Maddalena Zacchi. icalp 1974: 170-184
Multicompatibility for Multiparty-Session CompositionFranco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida. ppdp 2023: [doi]
Intersection Types and Properties of Lambda TermsMariangiola Dezani-Ciancaglini. icalp 2000: 267-268
Dynamic and Local Typing for Mobile AmbientsMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese. ifipTCS 2004: 577-590
A Filter Model for Concurrent lambda-CalculusMariangiola Dezani-Ciancaglini, Ugo de Liguoro, Adolfo Piperno. SICOMP, 27(5):1376-1419, 1998. [doi]
Soundness Conditions for Big-Step SemanticsFrancesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini. ESOP 2020: 169-196 [doi]
Characterising Strong Normalisation for Explicit SubstitutionsSteffen van Bakel, Mariangiola Dezani-Ciancaglini. latin 2002: 356-370 [doi]
The Semantics of Entailment OmegaMariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama. ndjfl, 43(3):129-145, 2002.
(Semi)-separability of Finite Sets of Terms in Scott s D_infty-Models of the lambda-CalculusMario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca. icalp 1978: 142-164
A Complete Characterization of the Complete Intersection-Type TheoriesMariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi. icalp 2000: 287-302
A Calculus of Evolving ObjectsMariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz. cuza, 18:63-98, 2008. [doi]
Bounded Session Types for Object Oriented LanguagesMariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida. FMCO 2007: 207-245 [doi]
The Relevance of Semantic SubtypingMariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama. ENTCS, 70(1):88-105, 2002. [doi]
Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA 95, Edinburgh, UK, April 10-12, 1995, ProceedingsMariangiola Dezani-Ciancaglini, Gordon D. Plotkin, editors, Volume 902 of Lecture Notes in Computer Science, Springer, 1995.
Behavioural inverse limit lambda-modelsMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec. TCS, 316(1):49-74, 2004. [doi]
A Convex Powerdomain over Lattices: Its Logic and lambda-CalculusFabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de Liguoro. FUIN, 32(3-4):193-250, 1997.
PrefaceVincent Danos, Mariangiola Dezani-Ciancaglini. ENTCS, 192(3):1-2, 2008. [doi]
Böhm s theorem for Berarducci treesMariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries. TCS, 31:34-57, 2000. [doi]
Combining behavioural types with security analysisMassimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira. jlp, 84(6):763-780, 2015. [doi]
Partial and Complete Processes in Multiparty SessionsMario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi. ENTCS, 322:135-151, 2016. [doi]
A tale of intersection typesViviana Bono, Mariangiola Dezani-Ciancaglini. lics 2020: 7-20 [doi]
Isomorphism of "Functional" Intersection TypesMario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi. TYPES 2014: 129-149 [doi]
A Subtyping for Extensible, Incomplete ObjectsViviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. FUIN, 38(4):325-364, 1999.
From Bohm s Theorem to Observational Equivalences: an Informal AccountMariangiola Dezani-Ciancaglini, Elio Giovannetti. ENTCS, 50(2):83-116, 2001. [doi]
On Isomorphisms of Intersection TypesMariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta. csl 2008: 461-477 [doi]
Security Types for Mobile Safe AmbientsMariangiola Dezani-Ciancaglini, Ivano Salvo. asian 2000: 215-236 [doi]
Functional Characterization of Some Semantic Equalities inside Lambda-CalculusMario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé. icalp 1979: 133-146
Structured Communications with Concurrent ConstraintsMario Coppo, Mariangiola Dezani-Ciancaglini. tgc 2009: 104-125 [doi]
A Distributed Object-Oriented Language with Session TypesMariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou. tgc 2005: 299-318 [doi]
Intersection types and lambda modelsFabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini. TCS, 355(2):108-126, 2006. [doi]
Type Disciplines for Analysing Biologically Relevant PropertiesBogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina. ENTCS, 227:97-111, 2009. [doi]
Java & Lambda: a Featherweight StoryLorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri. lmcs, 14(3), 2018. [doi]
A CUCH-machine: The automatic treatment of bound variablesCorrado Böhm, Mariangiola Dezani-Ciancaglini. ijpp, 1(2):171-191, 1972. [doi]
Typing access control and secure information flow in sessionsSara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. iandc, 238:68-105, 2014. [doi]
Intersection types and domain operatorsFabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin. TCS, 316(1):25-47, 2004. [doi]
On Sessions and Infinite DataPaula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini. lmcs, 13(2), 2017. [doi]
On Progress for Structured CommunicationsMariangiola Dezani-Ciancaglini, Ugo de Liguoro, Nobuko Yoshida. tgc 2008: 257-275 [doi]
Preciseness of Subtyping on Intersection and Union TypesMariangiola Dezani-Ciancaglini, Silvia Ghilezan. RTA 2014: 194-207 [doi]
Discrimination by Parallel Observers: The AlgorithmMariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn. iandc, 150(2):153-186, 1999.
Intersection, Universally Quantified, and Reference TypesMariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca. csl 2009: 209-224 [doi]
A parenthesis machine for string manipulationMariangiola Dezani-Ciancaglini. ita, 8(3):37-46, 1974. [doi]
Self-adaptation and secure information flow in multiparty communicationsIlaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez. fac, 28(4):669-696, 2016. [doi]
Deconfined Intersection Types in JavaMariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri. BIRTHDAY 2020: [doi]
Deconfined Global Types for Asynchronous SessionsFrancesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini. coordination 2021: 41-60 [doi]
Partial Types and IntervalsMariangiola Dezani-Ciancaglini, Betti Venneri. SICOMP, 19(4):644-568, 1990.
On Re-classification and Multi-threadingFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. jot, 3(11):5-30, 2004. [doi]
A Mobility Calculus with Local and Dependent TypesMario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese. BIRTHDAY 2005: 404-444 [doi]
Filter Models and Easy TermsFabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell. ictcs 2001: 17-37 [doi]
Self-adaptive multiparty sessionsMario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri. soca, 9(3-4):249-268, 2015. [doi]
Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, ProceedingsGiorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, editors, Volume 372 of Lecture Notes in Computer Science, Springer, 1989.
Intersection types for lambda-treesSteffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries. TCS, 272(1-2):3-40, 2002. [doi]
Approximation Theorems for Intersection Type SystemsMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama. logcom, 11(3):395-417, 2001. [doi]
On the Preciseness of Subtyping in Session TypesTzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. ppdp 2014: 135-146 [doi]
Boxed Ambients with Communication InterfacesEduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda. mfcs 2004: 119-148 [doi]
Infinitary lambda calculus and discrimination of Berarducci treesMariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries. TCS, 2(298):275-302, 2003. [doi]
International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, ProceedingsMariangiola Dezani-Ciancaglini, Ugo Montanari, editors, Volume 137 of Lecture Notes in Computer Science, Springer, 1982.
Filter Models for a Parallel and Non Deterministic Lambda-CalculusMariangiola Dezani-Ciancaglini, Ugo de Liguoro, Adolfo Piperno. mfcs 1993: 403-412
A Reputation System for Multirole SessionsViviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. tgc 2012: 1-24 [doi]
Inference of Global Progress Properties for Dynamically Interleaved Multiparty SessionsMario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida. coordination 2013: 45-59 [doi]
May and Must Convergencey in Concurrent Lambda-CalculusFabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de Liguoro. mfcs 1994: 211-220
Characterization of Normal Forms Possessing Inverse in the :::: lambda-beta-mu :::: -CalculusMariangiola Dezani-Ciancaglini. TCS, 2(3):323-337, 1976.
A Fully Abstract Model for Mobile AmbientsMario Coppo, Mariangiola Dezani-Ciancaglini. ENTCS, 62:177-194, 2001. [doi]
PrefaceMariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin. mscs, 9(4):321, 1999.
Observational Equivalence for Multiparty SessionsPaula Severi, Mariangiola Dezani-Ciancaglini. FUIN, 170(1-3):267-305, 2019. [doi]
Extending the lambda-calculus with unbind and rebindMariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca. ita, 45(1):143-162, 2011. [doi]
Type Preorders and Recursive TermsFabio Alessi, Mariangiola Dezani-Ciancaglini. ENTCS, 136:3-21, 2005. [doi]
Amalgamating sessions and methods in object-oriented languages with genericsSara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino. TCS, 410(2-3):142-167, 2009. [doi]
Polymorphic types, fixed-point combinators and continuous lambda-modelsMariangiola Dezani-Ciancaglini, Ines Margaria. ifip2 1987: 425-450
A Behavioural Model for Klop s CalculusMariangiola Dezani-Ciancaglini, Makoto Tatsuta. ENTCS, 169:19-32, 2007. [doi]
Type Directed Semantics for the Calculus of Looping SequencesLivio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina. ijsi, 7(4):501-526, 2013. [doi]
Listing of information structures defined by fixed-point operatorsCorrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca. programm 1974: 266-279
EATCS Fellows' Advice to the Young Theoretical Computer ScientistLuca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas. eatcs, 119, 2016. [doi]
Normalisation is Insensible to lambda-Term Identity or DifferenceMakoto Tatsuta, Mariangiola Dezani-Ciancaglini. lics 2006: 327-338 [doi]
Security Types for Dynamic Web DataMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic. tgc 2007: 263-280 [doi]
A Type Inference Algorithm for Secure AmbientsFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone. ENTCS, 62:83-101, 2001. [doi]
Combining Type DisciplinesFelice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de Liguoro. APAL, 66(3):197-230, 1994.
On Global Types and Multi-party SessionsGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani. forte 2011: 1-28 [doi]
Security types for dynamic web dataMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca. TCS, 402(2-3):156-171, 2008. [doi]
Composition and decomposition of multiparty sessionsFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto. jlap, 119:100620, 2021. [doi]
Combinatorial Problems, Combinator Equations and Normal FormsCorrado Böhm, Mariangiola Dezani-Ciancaglini. icalp 1974: 185-199
Typed stochastic semantics for the calculus of looping sequencesLivio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina. TCS, 431:165-180, 2012. [doi]
Concurrent Reversible SessionsIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. concur 2017: [doi]
Foundations of session typesGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani. ppdp 2009: 219-230 [doi]
Discrimination by Parallel ObserversMariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn. lics 1997: 396-407 [doi]
A filter model for mobile processesFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. mscs, 9(1):63-101, 1999.
Theories of Types and Proofs 1997 - PrefaceMariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi. TCS, 272(1-2):1-2, 2002. [doi]
A Discrimination Algorithm Inside lambda-beta-CalculusCorrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca. TCS, 8:265-292, 1979.
The Relevance of Intersection and Union TypesMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri. ndjfl, 38(2):246-269, 1997.
Reversible sessions with flexible choicesIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. ACTA, 56(7-8):553-583, 2019. [doi]
On isomorphisms of intersection typesMariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta. tocl, 11(4), 2010. [doi]
BASS: boxed ambients with safe sessionsPablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini. ppdp 2006: 61-72 [doi]
Objects and session typesMariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida. iandc, 207(5):595-641, 2009. [doi]
Session Types for Access and Information Flow ControlSara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk. concur 2010: 237-252 [doi]
A Filter Lambda Model and the Completeness of Type AssignmentHenk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini. JSYML, 48(4):931-940, 1983.
Deriving session and union types for objectsLorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri. mscs, 23(6):1163-1219, 2013. [doi]
Complexity of lambda-term reductionsMariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta. ita, 13(3):257-287, 1979.
A Gentle Introduction to Multiparty Asynchronous Session TypesMario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida. sfm 2015: 146-178 [doi]
An extension of the basic functionality theory for the λ-calculusMario Coppo, Mariangiola Dezani-Ciancaglini. ndjfl, 21(4):685-693, 1980. [doi]
Two Behavioural Lambda ModelsMariangiola Dezani-Ciancaglini, Silvia Ghilezan. TYPES 2003: 127-147 [doi]
Space-aware ambients and processesFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone. TCS, 373(1-2):41-69, 2007. [doi]
Event structure semantics for multiparty sessionsIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. jlap, 131:100844, February 2023. [doi]
Types for ambient and process mobilityMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti. mscs, 18(2):221-290, 2008. [doi]
Fickle : Dynamic Object Re-classificationSophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. ECOOP 2001: 130-149 [doi]
On Sessions and Infinite DataPaula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini. coordination 2016: 245-261 [doi]
Compositional characterisations of ::::lambda::::-terms using intersection typesMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama. TCS, 340(3):459-495, 2005. [doi]
Encoding CDuce in the Cpi-CalculusGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca. concur 2006: 310-326 [doi]
Asynchronous Session Types and Progress for Object Oriented LanguagesMario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. fmoods 2007: 1-31 [doi]
Boxed ambients with communication interfacesPablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini. mscs, 17(4):587-645, 2007. [doi]
Fully Abstract Semantics for Concurrent Lambda-calculusMariangiola Dezani-Ciancaglini, Ugo de Liguoro, Adolfo Piperno. tacs 1994: 16-35
Session Types for Object-Oriented LanguagesMariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou. ECOOP 2006: 328-352 [doi]
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th BirthdayRoberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo. FUIN, 103(1-4):1-29, 2010. [doi]
Open Compliance in Multiparty SessionsFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro. facs2 2022: 222-243 [doi]
Intersection and Union Types: Syntax and SemanticsFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de Liguoro. iandc, 119(2):202-230, June 1995.
Sessions and Session Types: An OverviewMariangiola Dezani-Ciancaglini, Ugo de Liguoro. wsfm 2010: 1-28 [doi]
A Calculus of Bounded CapacitiesFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone. asian 2003: 205-223 [doi]
Mobility Types for Mobile Processes in Mobile AmbientsMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo. ENTCS, 78:144-177, 2003. [doi]
On the Preciseness of Subtyping in Session TypesTzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida. lmcs, 13(2), 2017. [doi]
Session and Union Types for Object Oriented ProgrammingLorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri. birthday 2008: 659-680 [doi]
Applicative Information SystemsMario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo. caap 1983: 35-64
Deconfined Global Types for Asynchronous SessionsFrancesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini. lmcs, 19(1), 2023. [doi]
Filter Models for Conjunctive-Disjunctive lambda-CalculiMariangiola Dezani-Ciancaglini, Ugo de Liguoro, Adolfo Piperno. TCS, 170(1-2):83-128, 1996. [doi]
Types for Role-Based Access Control of Dynamic Web DataMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic. wflp 2011: 1-29 [doi]
Intersection Types and Computational RulesFabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini. ENTCS, 84:45-59, 2003. [doi]
Gradual Guarantee for FJ with lambda-ExpressionsPedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido. FTfJP 2023: 32-38 [doi]
The essence of static and dynamic bindingsMariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca. ictcs 2009: 99-106

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Mariangiola Dezani-Ciancaglini's Profile

Unidentified Publications