Geodesic
Reducibility method in simply typed lambda calculus
Novi Sad Journal of Mathematics, Tome 31 (2001) no. 1.

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

@article{NSJOM_2001_31_1a_3,
     author = {S. 

 Ghilezan and V. Kun\v{c}ak},
     title = {Reducibility method in simply typed lambda 

 calculus},
     journal = {Novi Sad Journal of Mathematics},
     pages = {27-32},
     publisher = {mathdoc},
     volume = {31},
     number = {1},
     year = {2001},
     url = {http://geodesic.mathdoc.fr/item/NSJOM_2001_31_1a_3/}
}
TY  - JOUR
AU  - S. 

 Ghilezan
AU  - V. Kunčak
TI  - Reducibility method in simply typed lambda 

 calculus
JO  - Novi Sad Journal of Mathematics
PY  - 2001
SP  - 27
EP  - 32
VL  - 31
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/NSJOM_2001_31_1a_3/
ID  - NSJOM_2001_31_1a_3
ER  - 
%0 Journal Article
%A S. 

 Ghilezan
%A V. Kunčak
%T Reducibility method in simply typed lambda 

 calculus
%J Novi Sad Journal of Mathematics
%D 2001
%P 27-32
%V 31
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NSJOM_2001_31_1a_3/
%F NSJOM_2001_31_1a_3
S. 

 Ghilezan; V. Kunčak. Reducibility method in simply typed lambda 

 calculus. Novi Sad Journal of Mathematics, Tome 31 (2001) no. 1. http://geodesic.mathdoc.fr/item/NSJOM_2001_31_1a_3/