Novi Sad Journal of Mathematics, Tome 29 (1999) no. 2
Citer cet article
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/
@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/}
}
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
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
%U http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_14/
%F NSJOM_1999_29_2a_14
