@article{NSJOM_1993_23_1a_26,
     author = {Gilezan Silvija},
     title = {A note on typed 

 combinators and typed lambda terms},
     journal = {Novi Sad Journal of Mathematics},
     pages = {319-329},
     publisher = {mathdoc},
     volume = {23},
     number = {1},
     year = {1993},
     url = {http://geodesic.mathdoc.fr/item/NSJOM_1993_23_1a_26/}
}