A scheme for a higher-level semantic algebra (1985)

by William Clinger, Daniel P Friedman, Mitchell Wand
Venue:Algebraic Methods in Semantics