Planar and braided proof-nets for multiplicative linear logic with mix

✍ Scribed by G. Bellin; A. Fleury

• Publisher: Springer
• Year: 1998
• Tongue: English
• Weight: 241 KB
• Volume: 37
• Category: Article
• ISSN: 0933-5846
• DOI: 10.1007/s001530050101