Mariangiola Dezani-Ciancaglini

Mariangiola Dezani-Ciancaglini (born 22 December 1946) 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. Provided by Wikipedia
Showing 1 - 20 results of 21 for search 'Mariangiola Dezani-Ciancaglini', query time: 0.04s Refine Results
  1. 1
    Reversible Multiparty Sessions with Checkpoints

    Reversible Multiparty Sessions with Checkpoints by Mariangiola Dezani-Ciancaglini, Paola Giannini

    Published 2016-08-01
    Get full text
    Article
  2. 2
    Open Multiparty Sessions

    Open Multiparty Sessions by Franco Barbanera, Mariangiola Dezani-Ciancaglini

    Published 2019-09-01
    Get full text
    Article
  3. 3
    Parallel Monitors for Self-adaptive Sessions

    Parallel Monitors for Self-adaptive Sessions by Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

    Published 2016-06-01
    Get full text
    Article
  4. 4
    A Type System for Required/Excluded Elements in CLS

    A Type System for Required/Excluded Elements in CLS by Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina

    Published 2009-11-01
    Get full text
    Article
  5. 5
    Deconfined Global Types for Asynchronous Sessions

    Deconfined Global Types for Asynchronous Sessions by Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini

    Published 2023-01-01
    Get full text
    Article
  6. 6
    Intersection types for unbind and rebind

    Intersection types for unbind and rebind by Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca

    Published 2011-01-01
    Get full text
    Article
  7. 7
    On Global Types and Multi-Party Session

    On Global Types and Multi-Party Session by Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani

    Published 2012-03-01
    Get full text
    Article
  8. 8
    Information Flow Safety in Multiparty Sessions

    Information Flow Safety in Multiparty Sessions by Mariangiola Dezani-Ciancaglini, Ilaria Castellani, Sara Capecchi

    Published 2011-08-01
    Get full text
    Article
  9. 9
    Session Type Isomorphisms

    Session Type Isomorphisms by Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic

    Published 2014-06-01
    Get full text
    Article
  10. 10
    A Type System for a Stochastic CLS

    A Type System for a Stochastic CLS by Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina

    Published 2009-11-01
    Get full text
    Article
  11. 11
    Compliance for reversible client/server interactions

    Compliance for reversible client/server interactions by Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro

    Published 2014-08-01
    Get full text
    Article
  12. 12
    Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective

    Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective by Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez

    Published 2014-08-01
    Get full text
    Article
  13. 13
    On Sessions and Infinite Data

    On Sessions and Infinite Data by Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini

    Published 2017-06-01
    Get full text
    Article
  14. 14
    Toward Isomorphism of Intersection and Union types

    Toward Isomorphism of Intersection and Union types by Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

    Published 2013-07-01
    Get full text
    Article
  15. 15
    On Isomorphism of "Functional" Intersection and Union Types

    On Isomorphism of "Functional" Intersection and Union Types by Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

    Published 2015-03-01
    Get full text
    Article
  16. 16
    Retractable Contracts

    Retractable Contracts by Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro

    Published 2016-02-01
    Get full text
    Article
  17. 17
    On the Preciseness of Subtyping in Session Types

    On the Preciseness of Subtyping in Session Types by Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida

    Published 2017-06-01
    Get full text
    Article
  18. 18
    Precise subtyping for synchronous multiparty sessions

    Precise subtyping for synchronous multiparty sessions by Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida

    Published 2016-02-01
    Get full text
    Article
  19. 19
    Java & Lambda: a Featherweight Story

    Java & Lambda: a Featherweight Story by Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri

    Published 2018-09-01
    Get full text
    Article
  20. 20
    Retractions in Intersection Types

    Retractions in Intersection Types by Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi

    Published 2017-02-01
    Get full text
    Article

Search Tools: