"Semilinearity as a Syntactic Invariant."

Jens Michaelis, Marcus Kracht (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics