Linear future semantics and its implementation☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This material is based on work supported by the National Science Foundation under grant number MCS 8303325. Stefan Kölbl was killed in a bus accident in Ecuador shortly after completing the first draft of this paper.
Copyright © 1987 Published by Elsevier B.V.