M. Dezani-Ciancaglini and S. Ghilezan
Lambda models characterizing
computational behaviours of terms
Schedae Informaticae, 12:35-49, June 2003
We build a lambda model which characterizes
completely
(persistently) normalizing, (persistently) head
normalizing, and
(persistently) weak head normalizing terms.
This is proved by
using the finitary logical description of the model
obtained
by defining a suitable intersection type assignment
system.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43