Monthly Archives: June 2012

Game semantics, nominally

I have an upcoming paper in MFPS28, about using nominal techniques to represent “justification pointers” in game semantics (jointly with Murdoch Gabbay). In game semantics we represent “plays” as sequences with “pointers” from each element to some earlier elements. This … Continue reading

Posted in game semantics | 1 Comment