Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma Hannes Saffrich, Peter Thiemann, Marius Weidner TyDe 2024 · 6 september 2024