Geodesic
Natural deduction and sequent typed lambda calculus
Novi Sad Journal of Mathematics, Tome 29 (1999) no. 2.

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

@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},
     publisher = {mathdoc},
     volume = {29},
     number = {2},
     year = {1999},
     url = {http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_14/}
}
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  - 
%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
S. 

 Ghilezan. Natural 

 deduction and sequent typed lambda calculus. Novi Sad Journal of Mathematics, Tome 29 (1999) no. 2. http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_14/