A semantic account of strong normalization in Linear Logic
2013
https://arxiv.org/abs/1304.6762
linear logic
proof nets
cut elimination
bound semantics
/icons/hr.icon
description
MELL (Proof Nets)の強正規性を，層意味論に乗せて証明している．(サイズをなんか確かめてるっぽい記述がある)