Strong Normalization of Typeable Rewrite Systems (1994)

by Steffen van Bakel , Maribel Fernández
Citations:12 - 11 self