Confluence and Normalisation of Higher-Order Rewriting

Research output: PhD ThesisPhD Thesis - Research VU, graduation VU

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

Cite this