Dipartimento di Matematica e Fisica, L.go S. Leonardo Murialdo 1, Palazzina C, Aula 311
Abstract
Via the Taylor expansion of lambda terms it is possible to provide an innovative proof of the head-normalization theorem for the relational model.
Thanks to this result we can also state in a very natural way the equivalence between the relational model and some intersection type systems.
