@dblp

The Algebraic Structure of Transitive Closure and its Application to Attributed Type Signatures.

. Grammars, 3 (2/3): 295-312 (2000)

Links and resources

Tags