DMCA

Strong Normalization of Typeable Rewrite Systems (1994)

by Steffen van Bakel , Maribel Fernández
Citations:14 - 13 self