Mariangiola Dezani-Ciancaglini
- An extension of the basic functionality theory for the λ-calculus.
1980/10/01 by M. Coppo, Massimiliano Coppo, M. Dezani-Ciancaglini +1 · 5 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Database Systems and Queries