Intersection Types for lambda^{gtz}-calculus Silvia Ghilezan; J. Ivetić — 2007 Publications de l'Institut Mathématique