Topological Models for Higher Order Control Flow (1993)

Cached

Download Links

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