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  -