Research

Technical Report Results

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: