TY  - JOUR
AU  - Gilezan Silvija
TI  - A note on typed 

 combinators and typed lambda terms
JO  - Novi Sad Journal of Mathematics
PY  - 1993
SP  - 319
EP  - 329
VL  - 23
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/NSJOM_1993_23_1a_26/
ID  - NSJOM_1993_23_1a_26
ER  -