Stark, Ian
University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.

	Keyword	Results for this URL	Total searches