Normalization, approximation, and semant
β
Steffen van Bakel; Maribel FernΓ‘ndez
π
Article
π
2003
π
Elsevier Science
π
English
β 400 KB
This paper studies normalization of typeable terms and the relation between approximation semantics and ΓΏlter models for Combinator Systems. It presents notions of approximants for terms, intersection type assignment, and reduction on type derivations; the last will be proved to be strongly normaliz