Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories

Ronald Brown, Anne Heyworth. Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories. Journal of Symbolic Computation, 29(1):5-31, 2000.

Abstract

Abstract is missing.