催眠药
发表于 2025-3-26 21:54:28
http://reply.papertrans.cn/67/6658/665777/665777_31.png
消耗
发表于 2025-3-27 04:15:38
Proof Nets as Formal Feynman Diagramslculus course. In particular, the “box” construct behaves like an exponential and the nesting of boxes phenomenon is the analogue of an exponentiated derivative formula. We show that the equations for the multiplicative-exponential fragment of linear logic hold.
Endometrium
发表于 2025-3-27 06:26:44
http://reply.papertrans.cn/67/6658/665777/665777_33.png
立即
发表于 2025-3-27 10:53:55
http://reply.papertrans.cn/67/6658/665777/665777_34.png
CLEAR
发表于 2025-3-27 16:08:20
0075-8450 omers to the field.Unrivalled comprehensiveness, with close This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum foundations, via quantum information, to quantum gravity.These include the theory of monoidal categ
Robust
发表于 2025-3-27 21:31:39
A Survey of Graphical Languages for Monoidal Categoriesr what is presently known, and to serve as a starting place for more in-depth study. Where possible, we provide pointers to more rigorous treatments in the literature. Where we include results that have only been proved in special cases, we indicate this in the form of caveats.
得意牛
发表于 2025-3-27 23:22:57
Book 2011ns, via quantum information, to quantum gravity.These include the theory of monoidal categories and corresponding graphical calculi, Girard’s linear logic, Scott domains, lambda calculus and corresponding logics for typing, topos theory, and more general process structures.Most of these structures a
commune
发表于 2025-3-28 02:49:44
Book 2011ogic, Scott domains, lambda calculus and corresponding logics for typing, topos theory, and more general process structures.Most of these structures are very prominent in computer science; the chapters here are tailored towards an audience of physicists.
减至最低
发表于 2025-3-28 09:54:50
http://reply.papertrans.cn/67/6658/665777/665777_39.png
STRIA
发表于 2025-3-28 11:05:42
New Structures for Physics978-3-642-12821-9Series ISSN 0075-8450 Series E-ISSN 1616-6361