From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis.

Harry G. Mairson

Browse the full ICFP paper archive.