Intriniscally-Typed Interpretation of Linear Languages

POPL 2020