Miculan, Marino

Miculan, Marino
All Links

Share this:

Details of Miculan, Marino

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