Cardelli, Luca
luca.demon.co.ukMicrosoft 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.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.