Geodesic
A note on typed combinators and typed lambda terms
Novi Sad Journal of Mathematics, Tome 23 (1993) no. 1.

Voir la notice de l'article provenant de la source Novi sad journal of mathematics website

@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/}
}
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  - 
%0 Journal Article
%A Gilezan Silvija
%T A note on typed 

 combinators and typed lambda terms
%J Novi Sad Journal of Mathematics
%D 1993
%P 319-329
%V 23
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NSJOM_1993_23_1a_26/
%F NSJOM_1993_23_1a_26
Gilezan Silvija. A note on typed 

 combinators and typed lambda terms. Novi Sad Journal of Mathematics, Tome 23 (1993) no. 1. http://geodesic.mathdoc.fr/item/NSJOM_1993_23_1a_26/