Introduction to Logical Relations - a podcast by Aaron Stump

from 2021-01-31T22:10:42.023393

:: ::

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...