Operational Semantics of Termination Types
F. Nielson, H. Riis Nielson
Type
Journal paper [With referee]
Journal
Nordic Journal of Computing
Year
1996
Vol.
3
pp.
144-187
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering