Modelling conditional rewriting logic in structured categories

Hiroyuki Miyoshi. Modelling conditional rewriting logic in structured categories. Electronic Notes in Theoretical Computer Science, 4:20-34, 1996. [doi]

Abstract

Abstract is missing.