Technical Report TR133:
A Scheme for Higher-Level Semantic Algebra
William Clinger, Daniel P. Friedman, and Mitchell Wand
(Jan 1985)
[Algebraic Methods in Semantics (John Reynolds & M. Nivat, eds. ), Cambridge University Press, (1985) 237--250]
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
