✦ LIBER ✦

LOGIC AND LIGHTS

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Light Linear Logic

✍ Jean-Yves Girard 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 464 KB

Lighting up logic

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

Making light work of logic

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

In the light of logic

✍ Solomon Feferman; Andrew Arana 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 380 KB

Light logics and optimal reduction: Comp

✍ Patrick Baillot; Paolo Coppola; Ugo Dal Lago 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 899 KB

LIGHTS AND LAWS

✍ WILKENLOH, CHARLES E. 📂 Article 📅 2009 🏛 Wiley (Blackwell Publishing) ⚖ 661 KB