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/