Context-Freeness and Infinitary Normalization
Aart Middeldorp
presented at the 14th Japanese Term Rewriting Meeting, Nara Institute of
Science and Technology, March 15 – 16, 1999
BibTeX Entry
@unpublished{M-99,
booktitle
author = "Aart Middeldorp",
title = "Context-Freeness and Infinitary Normalization",
note = "Presented at the 14th Japanese Term Rewriting Meeting, Nara
Institute of Science and Technology, March 15--16",
year = 1999
}