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