%0 Journal Article
%A Silvia Ghilezan
%A J. Ivetić
%T Intersection Types for lambda^{gtz}-calculus
%J Publications de l'Institut Mathématique
%D 2007
%P 85 
%V _N_S_82
%N 96
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.2298/PIM0796085G/
%R 10.2298/PIM0796085G
%G en
%F 10_2298_PIM0796085G