%0 Journal Article
%A S. 

 Ghilezan
%T Natural 

 deduction and sequent typed lambda calculus
%J Novi Sad Journal of Mathematics
%D 1999
%P 209-220
%V 29
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_14/
%F NSJOM_1999_29_2a_14