✦ LIBER ✦

A Matrix Characterization for Multiplicative Exponential Linear Logic

✍ Scribed by Christoph Kreitz; Heiko Mantel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The relational model is injective for mu

✍ Daniel de Carvalho; Lorenzo Tortora de Falco 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 513 KB

A Graph-Theoretic Characterization Theor

✍ Misao Nagayama; Mitsuhiro Okada 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 48 KB

Planar and braided proof-nets for multip

✍ G. Bellin; A. Fleury 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 241 KB

A Logic for Characterizing Multiple Boun

✍ John Grant; Sarit Kraus; Donald Perlis 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 193 KB

Exponential Estimate for the Fundamental

✍ R. I. Petryshyn; T. M. Sopronyuk 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 131 KB

A multiplicative Schwarz iteration schem

✍ Haijian Yang; Qingguo Li; Hongru Xu 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 195 KB