✦ LIBER ✦

Modularity of proof-nets

✍ Scribed by Roberto Maieli; Quintijn Puite

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Homology of proof-nets

✍ François Métayer 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 828 KB

Modularity and expressibility for nets o

✍ Alexander Rabinovich 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 248 KB

Modularity of confluence: A simplified p

✍ Jan Willem Klop; Aart Middeldorp; Yoshihito Toyama; Roel de Vrijer 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 643 KB

On the modular nets

✍ L. Martin; C. Reischer 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 329 KB

Proof-search and Proof Nets in Mixed Lin

✍ D. Galmiche; J.M. Notin 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Calculus of structures and proof-nets: (

✍ Jean-Baptiste Joinet 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 68 KB