list | abstracts | bib ]

Reducibility method for termination properties of typed lambda terms

Citation

Silvia Ghilezan, Viktor Kuncak, and Silvia Likavec. Reducibility method for termination properties of typed lambda terms. In Fifth International Workshop on Termination, Utrecht, The Netherlands, May 2001.

BibTex Entry

@INPROCEEDINGS{GhilezanETAL01Reducibility,
  author = {Silvia Ghilezan and Viktor Kuncak and Silvia Likavec},
  title = {Reducibility method for termination properties of typed lambda terms},
  booktitle = {Fifth International Workshop on Termination},
  year = 2001,
  address = {Utrecht, The Netherlands},
  month = {May}
}

list | abstracts | bib ]