@dblp

Categorical principles, techniques and results for high-level-replacement systems in computer science.

, and . Appl. Categorical Struct., 1 (1): 21-50 (1993)

Links and resources

Tags