Linear Logic and Strong Normalization
2013
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2013.39
linear logic
proof nets
cut elimination
/icons/hr.icon
description
これもMELL (Proof Nets)のカット除去の強正規性．