๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES