Carl Gunter

• Semantics of programming languages