Home

A.__Corradini


A 2-categorical presentation of term graph rewriting

A complete calculus for equational deduction in coalgebraic specification

Relating two categorical models of term rewriting