TY  - JOUR
AU  - Silvia Ghilezan
AU  - J. Ivetić
TI  - Intersection Types for lambda^{gtz}-calculus
JO  - Publications de l'Institut Mathématique
PY  - 2007
SP  - 85 
VL  - _N_S_82
IS  - 96
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.2298/PIM0796085G/
DO  - 10.2298/PIM0796085G
LA  - en
ID  - 10_2298_PIM0796085G
ER  -