Game semantics and abstract machines (1996)

by V Danos, H Herbelin, L Regnier
Venue:In Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science