## Reducibility Method in Simply Typed Lambda Calculus

### Citation

Silvia Ghilezan and Viktor Kuncak.
Reducibility method in simply typed lambda calculus.
In *XIV Conference on Applied Mathematics "PRIM", Palić*, June
2000.
Also in: Novi Sad J. Math. 31 (2001), no. 1, 27--32.### BibTex Entry

@inproceedings{GhilezanKuncak01ReducibilityMethodPrim,
author = {Silvia Ghilezan and Viktor Kuncak},
title = {Reducibility Method in Simply Typed Lambda Calculus},
booktitle = {XIV Conference on Applied Mathematics "PRIM", Pali\'c},
year = 2000,
month = {June},
note = {Also in: Novi Sad J. Math. 31 (2001), no. 1, 27--32}
}