Natural deduction and sequent typed lambda calculus.
Novi Sad Journal of Mathematics (1999)
- Volume: 29, Issue: 2, page 209-220
- ISSN: 0352-0900
Access Full Article
top
How to cite
topGhilezan, Silvia. "Natural deduction and sequent typed lambda calculus.." Novi Sad Journal of Mathematics 29.2 (1999): 209-220. <http://eudml.org/doc/233202>.
@article{Ghilezan1999,
author = {Ghilezan, Silvia},
journal = {Novi Sad Journal of Mathematics},
keywords = {cut elimination; normalization; simply typed lambda calculus; natural deduction; sequent systems},
language = {eng},
number = {2},
pages = {209-220},
publisher = {University of Novi Sad, Faculty of Science, Institute of Mathematics},
title = {Natural deduction and sequent typed lambda calculus.},
url = {http://eudml.org/doc/233202},
volume = {29},
year = {1999},
}
TY - JOUR
AU - Ghilezan, Silvia
TI - Natural deduction and sequent typed lambda calculus.
JO - Novi Sad Journal of Mathematics
PY - 1999
PB - University of Novi Sad, Faculty of Science, Institute of Mathematics
VL - 29
IS - 2
SP - 209
EP - 220
LA - eng
KW - cut elimination; normalization; simply typed lambda calculus; natural deduction; sequent systems
UR - http://eudml.org/doc/233202
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.