A Coinductive Confluence Proof for Infinitary Lambda-Calculus

@inproceedings{Czajka2014ACC,
  title={A Coinductive Confluence Proof for Infinitary Lambda-Calculus},
  author={Lukasz Czajka},
  booktitle={RTA-TLCA},
  year={2014}
}
We present a new coinductive proof of confluence of Böhm reduction in infinitary lambda-calculus. The proof is simpler than previous proofs of this result. The technique of the proof is new, i.e., it is not merely a coinductive reformulation of any earlier proofs. 
Highly Cited
This paper has 22 citations. REVIEW CITATIONS