Miculan, Marino
University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.

No queries for users.dimi.uniud.it/~marino.miculan