Sciweavers

63
Voted
TLCA
1993
Springer
15 years 26 days ago
The Conservation Theorem revisited
This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call βS, and...
Philippe de Groote