Proving Confluence for Untyped Lambda Calculus II
Discussion of the basic idea of the Tait--Martin-Loef proof of confluence for untyped lambda calculus. Let me know any requests for what to discuss in Chapter 8!
On this page
untyped lambda calculus
Explore " untyped lambda calculus" with insightful episodes like "Proving Confluence for Untyped Lambda Calculus II" and "Proving Confluence for Untyped Lambda Calculus I" from podcasts like ""Iowa Type Theory Commute" and "Iowa Type Theory Commute"" and more!
Episodes (2)
Proving Confluence for Untyped Lambda Calculus I
Start of discussion on how to prove confluence for untyped lambda calculus. Also some discussion about the research community interested in confluence.