(Head-) Normalization of Typeable Rewrite Systems

• Authors:

• Steffen van Bakel;Maribel Fernández

• Affiliations:

• -;-

• Venue:
• RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
• Year:
• 1995