Reducibility method in simply typed lambda calculus.

Ghilezan, Silvia, and Kunčak, Viktor. "Reducibility method in simply typed lambda calculus.." Novi Sad Journal of Mathematics 31.1 (2001): 27-32. <http://eudml.org/doc/229660>.

@article{Ghilezan2001,
author = {Ghilezan, Silvia, Kunčak, Viktor},
journal = {Novi Sad Journal of Mathematics},
keywords = {normalization property; terms of head normal forms},
language = {eng},
number = {1},
pages = {27-32},
publisher = {University of Novi Sad, Faculty of Science, Institute of Mathematics},
title = {Reducibility method in simply typed lambda calculus.},
url = {http://eudml.org/doc/229660},
volume = {31},
year = {2001},
}

TY - JOUR
AU - Ghilezan, Silvia
AU - Kunčak, Viktor
TI - Reducibility method in simply typed lambda calculus.
JO - Novi Sad Journal of Mathematics
PY - 2001
PB - University of Novi Sad, Faculty of Science, Institute of Mathematics
VL - 31
IS - 1
SP - 27
EP - 32
LA - eng
KW - normalization property; terms of head normal forms
UR - http://eudml.org/doc/229660
ER -