Symmetry and interactivity in programming (0)

by P-L Curien
Venue:Bulletin of Symbolic Logic