A game semantics for Idealized Parallel Algol. Unpublished lecture (1995)

by S Abramsky