Confluence and Normalisation of Higher-Order Rewriting
By F. van Raamsdonk
Publisher: Amsterdam: Vrije Universiteit
Year: 1996
OAI identifier:
oai:dare.ubvu.vu.nl:1871/11092
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the
following location(s):
http://hdl.handle.net/1871/110... (external
link)