Intersection types for λGtz-calculus.
Ghilezan, Silvija ; Ivetić, Jelena
Publications de l'Institut Mathématique. Nouvelle Série, Tome 82(96) (2007), p. 85-91 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 2007-01-01
DOI : https://doi.org/10.2298/PIM0796085G
EUDML-ID : urn:eudml:doc:130037 
@article{05296694,
     title = {Intersection types for },
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {82(96)},
     year = {2007},
     pages = {85-91},
     doi = {10.2298/PIM0796085G},
     zbl = {1164.03001},
     language = {en},
     url = {http://dml.mathdoc.fr/item/05296694}
}

Ghilezan, Silvija; Ivetić, Jelena. Intersection types for . Publications de l'Institut Mathématique. Nouvelle Série, Tome 82(96) (2007) pp. 85-91. doi : 10.2298/PIM0796085G. http://gdmltest.u-ga.fr/item/05296694/