list | abstracts | bib ]

Types and confluence in lambda calculus

Citation

Silvia Ghilezan and Viktor Kuncak. Types and confluence in lambda calculus. In 3rd Panhellenic Logic Symposium, pages 17-21, Anogia, Greece, 2001.

BibTex Entry

@INPROCEEDINGS{GhilezanKuncak01TypesConfluence,
  author = {Silvia Ghilezan and Viktor Kuncak},
  title = {Types and confluence in lambda calculus},
  booktitle = {3rd Panhellenic Logic Symposium},
  pages = {17--21},
  year = 2001,
  address = {Anogia, Greece}
}

list | abstracts | bib ]