[ list |
abstracts |
bib ]

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

[ list |
abstracts |
bib ]