[workshop paper] Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
TyDe 2024 ·
Marius Weidner
PhD student in programming languages at the University of Freiburg
I am interested in formal verification of concurrent systems, for which I use proof assistants and dependent types. Besides research, I enjoy teaching, working with young people, and sports and nature.