@article{NSJOM_1999_29_2a_14,
     author = {S. 

 Ghilezan},
     title = {Natural 

 deduction and sequent typed lambda calculus},
     journal = {Novi Sad Journal of Mathematics},
     pages = {209-220},
     year = {1999},
     volume = {29},
     number = {2},
     url = {http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_14/}
}