## 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, VOLUME 802 OF LECTURE NOTES IN COMPUTER SCIENCE |

Citations: | 7 - 3 self |