# 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.