A scheme for higher-level semantic algebra (0)

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