External Links

    Journal: Foundations and Trends in Programming Languages

    Volume 2, Issue 4

    191 -- 269Andrzej S. Murawski, Nikos Tzevelekos. Nominal Game Semantics
    runs on