Topological Models for Higher Ordr Control Flow