DMCA
Technical Report (1985)
by
Number Ucam-Cl-Tr- Issn
,
C Glynn Winskel
,
Glynn Winskel
,
Glynn Winskel
| Citations: | 1 - 0 self |
BibTeX
@MISC{Issn85technicalreport,
author = {Number Ucam-Cl-Tr- Issn and C Glynn Winskel and Glynn Winskel and Glynn Winskel},
title = {Technical Report},
year = {1985}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper introduces new-HOPLA, a concise but powerful language for higher-order nondeterministic processes with name generation. Its origins as a metalanguage for domain theory are sketched but for the most part the paper concentrates on its operational semantics.
