Proving Confluence for Untyped Lambda Calculus I

Published: March 13, 2020, 7 p.m.

Start of discussion on how to prove confluence for untyped lambda calculus.\xa0 Also some discussion about the research community interested in confluence.