Noor van Leusen
publications relevant to SFB 378
Search Terms
Boolean
AND
OR
Case
Insensitive
Sensitive
1996
Corrections and Higher-Order Unification
(Claire Gardent and Michael Kohlhase and Noor van Leusen)