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 - 1 results of 1 for search 'Dezani-Ciancaglini, Mariangiola', query time: 0.01s Refine Results
Search Tools: Get RSS Feed — Email this Search —