✦ LIBER ✦

Light Linear Logic

✍ Scribed by Jean-Yves Girard

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Phase Semantics for Light Linear Logic (

✍ Max I. Kanovich; Mitsuhiro Okada; Andre Scedrov 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 904 KB

Stratified coherence spaces: a denotatio

✍ Patrick Baillot 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Light linear logics with controlled weak

✍ Max Kanovich 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 342 KB

Quantum logic and linear logic

✍ L. Román 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 512 KB 👁 1 views

Lighting up logic

✍ Keyes, Robert W. 📂 Article 📅 1993 🏛 Nature Publishing Group 🌐 English ⚖ 337 KB

LOGIC AND LIGHTS

📂 Article 📅 1896 🏛 The Lancet 🌐 English ⚖ 184 KB