"Syntactic Descriptions: A Type System for Solving Matching Equations in ..."

Sylvain Salvati (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics