<p>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!</p>

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!

<p>Discussion of the basic idea of the Tait--Martin-Loef proof of confluence for untyped lambda calculus.&nbsp; Let me know any requests for what to discuss in Chapter 8!</p>

Proving Confluence for Untyped Lambda Calculus II

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Proving Confluence for Untyped Lambda Calculus II

Sign up to save your podcasts

Proving Confluence for Untyped Lambda Calculus II

Proving Confluence for Untyped Lambda Calculus II