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

Provided by: DSpace at VU

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)