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
  1. 1

    Typed lambda calculi and applications /

    Published 1995
    Other Authors: “…Dezani-Ciancaglini, Mariangiola…”
    Conference Proceeding Book