The following pages link to Mariangiola Dezani-Ciancaglini (Q235595):
Displaying 50 items.
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Reversible client/server interactions (Q315298) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- Typing access control and secure information flow in sessions (Q462485) (← links)
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- Partial and complete processes in multiparty sessions (Q737096) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Security types for dynamic web data (Q935467) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Objects and session types (Q1021571) (← links)
- A characterization of F-complete type assignments (Q1089331) (← links)
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models (Q1102936) (← links)
- An extension of basic functionality theory for \(\lambda\)-calculus (Q1134141) (← links)
- Intersection types for combinatory logic (Q1199823) (← links)
- (Q1240552) (redirect page) (← links)
- Reduction of storage employed to represent families of information structures (Q1240554) (← links)
- Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus (Q1242896) (← links)
- A discrimination algorithm inside \(\lambda -\beta\)-calculus (Q1257009) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- Combining type disciplines (Q1319505) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- The semantics of entailment omega (Q1430899) (← links)
- Intersection types and domain operators (Q1434348) (← links)
- Behavioural inverse limit \(\lambda\)-models (Q1434350) (← links)
- A data structure formalization through generating function (Q1844073) (← links)
- Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Intersection and union types: Syntax and semantics (Q1893736) (← links)
- Tracing where and who provenance in linked data: a calculus (Q1929234) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday (Q2026790) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- Data-driven adaptation for smart sessions (Q2360650) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Approximation theorems for intersection type systems (Q2752528) (← links)
- (Q2766539) (← links)
- Fickle: Dynamic Object Re-classification (Q2779238) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- A fully abstract model for mobile ambients (Q2841277) (← links)
- The relevance of semantic subtyping (Q2842838) (← links)
- M\(^3\): mobility types for mobile processes in mobile ambients (Q2843918) (← links)
- Type preorders and recursive terms (Q2851083) (← links)
- A behavioural model for Klop's calculus (Q2863905) (← links)
- On global types and multi-party sessions (Q2881091) (← links)
