<p>Discussion of normalization (there is some way to reach a normal form) versus termination (no matter how you execute the term you reach a normal form).  A little more discussion of strong FP.  For type theory, the need for normalization due to Curry-Howard and due to conversion checking.</p>

Discussion of normalization (there is some way to reach a normal form) versus termination (no matter how you execute the term you reach a normal form). A little more discussion of strong FP. For type theory, the need for normalization due to Curry-Howard and due to conversion checking.

<p>Discussion of normalization (there is some way to reach a normal form) versus termination (no matter how you execute the term you reach a normal form).&nbsp; A little more discussion of strong FP.&nbsp; For type theory, the need for normalization due to Curry-Howard and due to conversion checking.</p>

Introduction to normalization

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

Share Introduction to normalization

Sign up to save your podcasts

Introduction to normalization

Introduction to normalization