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