✦ LIBER ✦

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

✍ Scribed by Mitsuhiro Okada

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Phase Semantics for Higher Order Complet

✍ Mitsuhiro Okada 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 35 KB

A uniform semantic proof for cut-elimina

✍ Mitsuhiro Okada 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB