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/