Games and abstract machines (1996)

by V Danos, H Herbelin, L Regnier
Venue:In International Symposium on Logic in Computer Science