TY  - JOUR
AU  - S. 

 Ghilezan
TI  - Natural 

 deduction and sequent typed lambda calculus
JO  - Novi Sad Journal of Mathematics
PY  - 1999
SP  - 209
EP  - 220
VL  - 29
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_14/
ID  - NSJOM_1999_29_2a_14
ER  -