paper_type.json (252B)
1 { 2 "paper_type": "theoretical", 3 "reason": "The paper's primary contribution is formal: defining a type system and proving that well-typing is preserved through computation (Theorem 6.5, Corollary 6.7), with implementation as secondary validation." 4 }