list | abstracts | bib ]

Confluence of untyped lambda calculus via simple types

Citation

Silvia Ghilezan and Viktor Kuncak. Confluence of untyped lambda calculus via simple types. In Proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, volume 2202 of LNCS, Torino, Italy, October 2001.

BibTex Entry

@INPROCEEDINGS{GhilezanKuncak01Confluence,
  author = {Silvia Ghilezan and Viktor Kuncak},
  title = {Confluence of untyped lambda calculus via simple types},
  booktitle = {Proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001},
  year = 2001,
  volume = 2202,
  series = {LNCS},
  address = {Torino, Italy},
  month = {October}
}

list | abstracts | bib ]