Symmetry and interactivity in programming (2003)

by P-L Curien
Venue:Bulletin of Symbolic Logic 9