Login / Signup

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

Hartmut EhrigMichael Löwe
Published in: Appl. Categorical Struct. (1993)
Keyphrases