Topological Models for Higher Order Control Flow (1993)

by J W de Bakker, F van Breugel
Venue:Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics