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

	Keyword	Results for this URL	Total searches