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 ]