Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets
1997
https://ieeexplore.ieee.org/document/614927
proof nets
MELL
linear logic
cut elimination
/icons/hr.icon
description
MELLのProof Netsのカット除去は強正規性がある．