Universitaire
Mariangiola Dezani-Ciancaglini
Italian logician and theoretical computer scientist
- Vie
- 1946 – présent
- Né(e) le
- 1946
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.
