𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modularity of proof-nets

✍ Scribed by Roberto Maieli; Quintijn Puite


Book ID
105842132
Publisher
Springer
Year
2004
Tongue
English
Weight
281 KB
Volume
44
Category
Article
ISSN
0933-5846

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 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