8 citations · 8 across the 1 of their papers we have counts for
1 paper
James Wood, Robert Atkey
Linear typed λ-calculi are more delicate than their simply typed siblings when it comes to metatheoretic results like preservation of typing under renaming and substitution. Trac…