- Home
- Computer
- Computer Science
- Cardelli, Luca
Computer · Computer Science
Cardelli, Luca
Listed in the directory · updated 21 Jul 2022
About Cardelli, Luca
Cardelli, Luca- Microsoft Research - Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. Global and mobile computation issues.