Article,

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

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews