Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories

Ulrike Prange. Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories. Electronic Notes in Theoretical Computer Science, 203(6):67-88, 2008. [doi]

Abstract

Abstract is missing.