Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma

Hannes Saffrich, Peter Thiemann, Marius Weidner

TyDe 2024 · 6 september 2024