Marius Weidner

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Johnson Lindenstrauss

Logical Properties

Knowledge Transfer

Top Venues

Publications

Hannes Saffrich, Peter Thiemann, Marius Weidner
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma. TyDe@ICFP (2024)