Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Coquand, T.
and
Spiwack, A.
2006.
A Proof of Strong Normalisation using Domain Theory.
p.
307.
Published online by Cambridge University Press: 11 October 2006
We prove a general strong normalisation theorem for higher type rewrite systems based on Tait's strong computability predicates and a strictly continuous domain-theoretic semantics. The theorem applies to extensions of Gödel's system T, but also to various forms of barrecursion for which strong normalisation was hitherto unknown.