<p>Start of Chapter 10, on logical relations and parametricity.  Basic idea of logical relation as the relational generalization of the algebraic idea of homomorphism.  This is also the start of Season 2, as the fall academic year is just beginning here in Iowa.</p>

Start of Chapter 10, on logical relations and parametricity. Basic idea of logical relation as the relational generalization of the algebraic idea of homomorphism. This is also the start of Season 2, as the fall academic year is just beginning here in Iowa.

<p>Start of Chapter 10, on logical relations and parametricity.&nbsp; Basic idea of logical relation as the relational generalization of the algebraic idea of homomorphism.&nbsp; This is also the start of Season 2, as the fall academic year is just beginning here in Iowa.</p>

Introduction to Logical Relations

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

Share Introduction to Logical Relations

Sign up to save your podcasts

Introduction to Logical Relations

Introduction to Logical Relations