続きといえば↓これの続き。 cut-elimination.hatenablog.com 豊岡さんが型なし証明論と並べてもうひとつ挙げていた論文がAndreoli "Logic Programming with Focusing Proofs in Linear Logic"という論文。線形論理の世界では超有名な論文だが初めてちゃんと…