Mariangiola Dezani-Ciancaglini
#101,126
Most Influential Person Now
Italian logician and theoretical computer scientist
Mariangiola Dezani-Ciancaglini's AcademicInfluence.com Rankings
Mariangiola Dezani-Ciancaglinicomputer-science Degrees
Computer Science
#7316
World Rank
#7706
Historical Rank
Theoretical Computer Science
#119
World Rank
#119
Historical Rank
Mariangiola Dezani-Ciancagliniphilosophy Degrees
Philosophy
#10129
World Rank
#13854
Historical Rank
Logic
#7183
World Rank
#8858
Historical Rank
Download Badge
Computer Science Philosophy
Mariangiola Dezani-Ciancaglini's Degrees
- PhD Mathematical Logic University of Turin
Why Is Mariangiola Dezani-Ciancaglini Influential?
(Suggest an Edit or Addition)According to Wikipedia, Mariangiola Dezani-Ciancaglini is an Italian logician and theoretical computer scientist whose research topics include type theory and intersection type disciplines, lambda calculus, and programming language semantics. She is a professor emerita at the University of Turin.
Mariangiola Dezani-Ciancaglini's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- A filter lambda model and the completeness of type assignment (1983) (600)
- An extension of the basic functionality theory for the λ-calculus (1980) (353)
- Functional Characters of Solvable Terms (1981) (240)
- A new type assignment for λ-terms (1978) (203)
- Intersection and Union Types: Syntax and Semantics (1995) (194)
- Global progress for dynamically interleaved multiparty sessions (2014) (188)
- Session Types for Object-Oriented Languages (2006) (164)
- Extended Type Structures and Filter Lambda Models (1984) (161)
- International Symposium on Programming (1982) (144)
- Sessions and Session Types: An Overview (2009) (107)
- Fickle : Dynamic Object Re-classification (2001) (105)
- On Global Types and Multi-Party Session (2012) (103)
- Global Progress in Dynamically Interleaved Multiparty Sessions (2008) (90)
- Foundations of session types (2009) (86)
- On Progress for Structured Communications (2007) (82)
- More dynamic object reclassification: Fickle∥ (2002) (80)
- Type Theories, Normal Forms and D_\infty-Lambda-Models (1987) (72)
- A Distributed Object-Oriented Language with Session Types (2005) (70)
- Asynchronous Session Types and Progress for Object Oriented Languages (2007) (66)
- Bounded Session Types for Object Oriented Languages (2006) (56)
- A Gentle Introduction to Multiparty Asynchronous Session Types (2015) (56)
- On the Preciseness of Subtyping in Session Types (2014) (55)
- A Filter Model for Concurrent lambda-Calculus (1998) (55)
- Intersection types for explicit substitutions (2004) (54)
- On Global Types and Multi-party Sessions (2011) (53)
- Characterization of Normal Forms Possessing Inverse in the lambda-beta-eta-Calculus (1976) (52)
- BASS: boxed ambients with safe sessions (2006) (48)
- Mobility Types for Mobile Processes in Mobile Ambients (2003) (47)
- Intersection and Union Types (1991) (46)
- Objects and session types (2009) (43)
- Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions (2013) (42)
- Session Types for Access and Information Flow Control (2010) (42)
- A Discrimination Algorithm Inside lambda-beta-Calculus (1979) (41)
- Intersection Types for Combinatory Logic (1992) (41)
- Security Types for Mobile Safe Ambients (2000) (39)
- A Characterization of F-Complete Type Assignments (1986) (37)
- Filter models for conjunctive-disjunctive l-calculi (1996) (36)
- Information flow safety in multiparty sessions † (2011) (36)
- Precise subtyping for synchronous multiparty sessions (2016) (36)
- A complete characterization of complete intersection-type preorders (2000) (33)
- Amalgamating sessions and methods in object-oriented languages with generics (2009) (33)
- Lambda-terms as total or partial functions on normal forms (1975) (31)
- A Calculus of Bounded Capacities (2003) (30)
- Filter Models and Easy Terms (2001) (30)
- Combinatorial Problems, Combinator Equations and Normal Forms (1974) (29)
- Tracing where and who provenance in Linked Data: A calculus (2012) (29)
- Subtyping Constraints for Incomplete Objects (Extended Abstract) (1997) (29)
- The "Relevance" of Intersection and Union Types (1997) (29)
- Compositional characterisations of lambda-terms using intersection types (2005) (28)
- Intersection types and lambda models (2006) (28)
- Self-Adaptive Monitors for Multiparty Sessions (2014) (28)
- (Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus (1978) (26)
- Infinite lambda-Calculus and Types (1999) (26)
- Compositional Characterizations of lambda-Terms Using Intersection Types (2000) (24)
- Intersection Types and Computational Rules (2003) (22)
- Self-adaptation and secure information flow in multiparty communications (2016) (22)
- Typing access control and secure information flow in sessions (2014) (21)
- Dynamic and Local Typing for Mobile Ambients (2004) (21)
- Java & Lambda: a Featherweight Story (2018) (21)
- A Subtyping for Extensible, Incomplete Objects (1999) (21)
- Intersection Types, $\lambda$-models, and Böhm Trees (1998) (20)
- Type Disciplines for Analysing Biologically Relevant Properties (2008) (20)
- A FILTER MODEL FOR CONCURRENT -CALCULUS MARIANGIOLA DEZANI-CIANCAGLINI AND UGO DE'LIGUORO DIPARTIMENTO DI INFORMATICA UNIVERSIT (1998) (20)
- Fully Abstract Semantics for Concurrent Lambda-calculus (1994) (19)
- Intersection types and domain operators (2004) (19)
- Self-adaptive multiparty sessions (2015) (19)
- Can addresses be types? (A case study: objects with delegation) (2003) (19)
- Discrimination by Parallel Observers: The Algorithm (1999) (19)
- Behavioural inverse limit lambda-models (2004) (19)
- Structured Communications with Concurrent Constraints (2009) (18)
- Discrimination by parallel observers (1997) (17)
- A filter model for mobile processes (1999) (17)
- From Bohm's Theorem to Observational Equivalences: an Informal Account (2001) (17)
- Re-classification and multi-threading: FickleMT (2004) (17)
- Session and Union Types for Object Oriented Programming (2008) (17)
- Combining behavioural types with security analysis (2015) (17)
- Composition and decomposition of multiparty sessions (2021) (17)
- Retractable Contracts (2016) (17)
- A Fully Abstract Model for Higher-Order Mobile Ambients (2002) (16)
- Combining Type Disciplines (1994) (16)
- Towards a semantic model for Java wildcards (2010) (16)
- Infinitary lambda calculus and discrimination of Berarducci trees (2003) (16)
- The Relevance of Semantic Subtyping (2003) (16)
- F-Semantics for Intersection Type Discipline (1984) (15)
- The Semantics of Entailment Omega (2002) (15)
- Behavioural Inverse Limit λ-Models (2003) (15)
- Two Behavioural Lambda Models (2002) (14)
- A Type System for a Stochastic CLS (2009) (14)
- Space-aware ambients and processes (2007) (14)
- Reversible Multiparty Sessions with Checkpoints (2016) (14)
- A Type System for Required/Excluded Elements in CLS (2009) (14)
- Observational Equivalence for Multiparty Sessions (2019) (14)
- Types for Role-Based Access Control of Dynamic Web Data (2010) (14)
- Open Multiparty Sessions (2019) (13)
- Applicative Information Systems (1983) (13)
- The Minimal Relevant Logic and the Call-by-Value Lambda Calculus∗ (2001) (13)
- Global types with internal delegation (2020) (12)
- Compliance for reversible client/server interactions (2014) (12)
- Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective (2014) (12)
- Amalgamating the Session Types and the Object Oriented Programming Paradigms (2007) (12)
- On Re-classification and Multi-threading (2004) (12)
- Concurrent Reversible Sessions (2017) (12)
- Reversible sessions with flexible choices (2019) (12)
- Filter Models for a Parallel and Non Deterministic Lambda-Calculus (1993) (12)
- Reversible client/server interactions (2016) (11)
- Theories of Types and Proofs (1998) (10)
- A Calculus of Evolving Objects (2008) (10)
- A Mobility Calculus with Local and Dependent Types (2005) (10)
- A Lambda Model Characterizing Computational Behaviours of Terms (2001) (10)
- Intersection Types in Java: Back to the Future (2018) (10)
- Boxed Ambients with Communication Interfaces (2004) (10)
- Normalisation is Insensible to \lambda-Term Identity or Difference (2006) (9)
- Inverse Limit Models as Filter Models (2004) (9)
- Termination Tests inside lambda-Calculus (1977) (9)
- A Type Inference Algorithm for Secure Ambients (2002) (9)
- On isomorphisms of intersection types (2008) (9)
- A Reputation System for Multirole Sessions (2011) (9)
- Isomorphism of intersection and union types † (2015) (9)
- Alias and Union Types for Delegation (2003) (9)
- Boxed ambients with communication interfaces† (2007) (9)
- Intersection Types, -models, and B Ohm Trees (1998) (8)
- A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday (2010) (8)
- Event Structure Semantics for Multiparty Sessions (2019) (8)
- Security Types for Dynamic Web Data (2006) (8)
- Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday (2016) (8)
- Types for trees (1998) (8)
- Proceedings of the 5th Colloquium on International Symposium on Programming (1982) (8)
- A CUCH-machine: The automatic treatment of bound variables (1972) (8)
- Filter Models for Conjunctive-Disjunctive lambda-Calculi (1996) (7)
- Characterising Strong Normalisation for Explicit Substitutions (2002) (7)
- Proceedings of the 16th International Colloquium on Automata, Languages and Programming (1989) (7)
- Intersection Types for -Trees (2000) (7)
- On Sessions and Infinite Data (2016) (7)
- Encoding CDuce in the Cpi-Calculus (2006) (7)
- Extending the lambda-calculus with unbind and rebind (2011) (7)
- Intersection types for unbind and rebind (2011) (6)
- Intersection, Universally Quantified, and Reference Types (2009) (6)
- Proceedings of the Second International Conference on Typed Lambda Calculi and Applications (1995) (6)
- Types for ambient and process mobility† (2008) (6)
- A Behavioural Model for Klop's Calculus (2007) (6)
- Typed stochastic semantics for the calculus of looping sequences (2012) (6)
- Tailoring Filter Models (2003) (6)
- Toward Isomorphism of Intersection and Union types (2013) (6)
- Approximation Theorems for Intersection Type Systems (2001) (6)
- A Fully Abstract Model for Mobile Ambients (2002) (6)
- Global Progress in Dynamically Merged Multiparty Sessions (2008) (6)
- Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms (1974) (6)
- Innnite -calculus and Types ? (1998) (6)
- Can Syntax Be Ignored during Translation? (1972) (6)
- Constraints for Service Contracts (2011) (5)
- Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions (2012) (5)
- Complexity of lambda-term reductions (1979) (5)
- Session Type Isomorphisms (2014) (5)
- General Session Types (2008) (5)
- Preciseness of Subtyping on Intersection and Union Types (2014) (5)
- Polymorphic types, fixed-point combinators and continuous lambda-models (1987) (5)
- Bb Ohm's Theorem for Bb Ohm Trees (1998) (4)
- On Isomorphism of "Functional" Intersection and Union Types (2015) (4)
- Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings (1995) (4)
- Intersection Types and Lambda Theories (2002) (4)
- Listing of information structures defined by fixed-point operators (1974) (4)
- Data-driven adaptation for smart sessions (2017) (4)
- Partial Types and Intervals (1990) (4)
- A Convex Powerdomain over Lattices: its Logic and -Calculus (1997) (4)
- Soundness Conditions for Big-Step Semantics (2020) (4)
- A parenthesis machine for string manipulation (1974) (4)
- Deriving session and union types for objects† (2013) (4)
- Intersection types for lambda-trees (2002) (4)
- A tale of intersection types (2020) (4)
- May and Must Convergencey in Concurrent Lambda-Calculus (1994) (3)
- Global types and event structure semantics for asynchronous multiparty sessions (2021) (3)
- Deconfined Global Types for Asynchronous Sessions (2021) (3)
- INTERSECTION AND REFERENCE TYPES DEDICATED TO HENK BARENDREGT ON THE OCCASION OF HIS 60TH BIRTHDAY (2007) (3)
- Type Preorders and Recursive Terms (2005) (3)
- The essence of static and dynamic bindings (2009) (3)
- Isomorphism of "Functional" Intersection Types (2013) (3)
- A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus (1997) (3)
- Compositional Characterizations of -terms Using Intersection Types ? (extended Abstract) (2000) (3)
- Foundations of Session Types: 10 Years Later (2019) (3)
- Notes on “A CUCH-machine: The automatic treatment of bound variables” (1973) (3)
- Böhm's theorem for Berarducci trees (2000) (3)
- Logical semantics for concurrent lambda-calculus (1996) (3)
- Deconfined Intersection Types in Java (2020) (2)
- To What Extent can or must Computations be Parallelized (1975) (2)
- Automata, Languages, and Programming: 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings (1989) (2)
- Asynchronous Sessions with Input Races (2022) (2)
- Reduction of storage employed to represent families of information structures (1977) (2)
- Type Directed Semantics for the Calculus of Looping Sequences (2013) (2)
- A data structure formalization through generating functions (1974) (2)
- Parallel Monitors for Self-adaptive Sessions (2016) (2)
- Selected papers of the 16th international colloquium on Automata, languages, and programming (1991) (1)
- Encoding CDuce in the Cπ-calculus (2006) (1)
- Bohm's Theorem (2009) (1)
- Objects dynamically changing class ( Work in progress ) (1999) (1)
- Introduction to Special Issue: Intersection types–new insights (2003) (1)
- Toward Isomorphism of Intersection and Union Types Dedicated to Corrado Bohm on the occasion of his 90th Birthday (2013) (1)
- Retractions in Intersection Types (2017) (1)
- A Calculus of Looping Sequences with Local Rules (2012) (1)
- A Behavioural Lambda Model (2003) (1)
- Re-classification and Multi-threading : F ickle MT ∗ [ Extended Abstract ] (2003) (0)
- Preface (2015) (0)
- Reversible client/server interactions (2016) (0)
- EATCS Fellows 2022 - Call for Nominations (2021) (0)
- Finitary Logical Semantics (Abstract) (2002) (0)
- International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings (1982) (0)
- St´ ephane Lengrand a Pierre Lescanne a Dan Dougherty b (2003) (0)
- Global Progress and its Inference for Dynamically Interleaved Multiparty Sessions (2010) (0)
- Preface (2007) (0)
- Encoding C Duce in the C π-Calculus (2006) (0)
- Deconfined Intersection Types in Java Dedicated to Maurizio Gabbrielli on the Occasion of His 60th Birthday (2020) (0)
- Self-adaptive multiparty sessions (2014) (0)
- Tracing where and who provenance in Linked Data: a c alculus Dedicated to Yoshihito Toyama on the occasion of his 60-th Birthday (2012) (0)
- Principal Typing for Parallel and non-Deterministic Lambda-calculus (2015) (0)
- Theories of Types and Proofs 1997 - Preface (2002) (0)
- Dedicated to Giuseppe Longo at the occasion of his 60th birth day (2008) (0)
- Intersection types for unbind and rebind ( Extended Abstract ) ∗ (2010) (0)
- Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372) (2021) (0)
- EATCS Fellows' Advice to the Young Theoretical Computer Scientist (2016) (0)
- Reversible sessions with flexible choices (2019) (0)
- Calculi, types and applications (2008) (0)
- Preface (2016) (0)
- Self-adaptation and secure information flow in multiparty communications (2016) (0)
- EATCS Fellows 2021 - Call for Nominations (2020) (0)
- Secure Multiparty Sessions with Topics (2016) (0)
- Partial and Complete Processes in Multiparty Sessions (2016) (0)
- EATCS Fellows 2020 - Call for Nominations (2019) (0)
- Intersection Types and Properties of Lambda Terms (2000) (0)
- GASARCH, W., see FORTNOW, L. HASKELL, D. and MACPHERSON, D., Cell decompositions of C-minimal structures HIRST, JL, Reverse mathematics and ordinal exponentiation JAIN, S., see FORTNOW, L (1994) (0)
- Types and Type Inference for Ambient and Process Mobility (2004) (0)
- Open Compliance in Multiparty Sessions (2022) (0)
- THE DISCRIMINATION COMBINATORY WEAK (2001) (0)
- Foundation of Session Types ( extended abstract ) (2009) (0)
This paper list is powered by the following services:
Other Resources About Mariangiola Dezani-Ciancaglini
What Schools Are Affiliated With Mariangiola Dezani-Ciancaglini?
Mariangiola Dezani-Ciancaglini is affiliated with the following schools:
