Operational Nominal Game Semantics.

Guilhem Jaber

Browse the full FOSSACS paper archive.