b'
Logical relations are the relational generalization of the algebraic concept of a homomorphism -- but they go further in extending the notion of structure-preservation to higher-order structures.\\xa0 We discuss the basic definition in this episode.
'