Topological Models for Higher Ordr Control Flow

J. W. de Bakker, Franck van Breugel. Topological Models for Higher Ordr Control Flow. In Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Volume 802 of Lecture Notes in Computer Science, pages 122-142, Springer, 1993.

Abstract

Abstract is missing.