Confluence and Normalisation of Higher-Order Rewriting

Research output: PhD ThesisPhD-Thesis - Research and graduation internal

40 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Award date13 May 1996
Publication statusPublished - 1996

Cite this