What is Semantics?

• Game semantics came to prominence in 1994 through work of Abramsky, Jagadeesan and Malacaria

Previous slide

Next slide

Back to first slide

View graphic version