Steffen van Bakel
Steffen van Bakel and Maribel Fernández.
Normalization results for typeable rewrite systems.
Information and Computation
, 133(2):73-116, 15 March 1997.
Abstract, References, and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database