Gordon D. Plotkin
K. R. Apt and G. D. Plotkin.
Countable nondeterminism and random assignment.
Journal of the ACM
, 33(4):724-767, October 1986.
Citations.
Robert Harper, Furio Honsell, and Gordon Plotkin.
A framework for defining logics.
Journal of the ACM
, 40(1):143-184, January 1993.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database