Flow Analysis in the Geometry of Interaction

Thomas P. Jensen, Ian Mackie. Flow Analysis in the Geometry of Interaction. In Hanne Riis Nielson, editor, Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Volume 1058 of Lecture Notes in Computer Science, pages 188-203, Springer, 1996.

Abstract

Abstract is missing.