Research on "Formal Methods in Computing"

A Lambda Model Characterizing Computational Behaviours of Terms

ABSTRACT. We build a lambda model which characterizes completely (persistently) normalizing, (persistently) head normalizing, and (persistently) weak head normalizing terms.

• Paper(ps.gz), Talk(pdf).

BIBTEX.

@inproceedings{DezaniCiancaglini-Ghilezan:RPC01,
   author    = {M. Dezani-Ciancaglini and S. Ghilezan},
   title     = {A Lambda Model Characterizing Computational
                Behaviours of Terms},
   booktitle = {RPC'01},
   year      = {2001},
   publisher = {Tohoku University},
   pages     = {100-118},
   series    = {},
   volume    = {}
}