|
|||||
|
|
Musings around the geometry of interaction, and coherence |
|
| Authors: | Jean Goubault-Larrecq |
| Affiliation: | |
| Abstract: | |
| Keywords: | Geometry of interaction Linear logic Inverse monoid _method=retrieve& _eid=1-s2 0-S0304397510007140& _mathId=si11 gif& _pii=S0304397510007140& _issn=03043975& _acct=C000051805& _version=1& _userid=1154080& md5=e2f2bc7b985759e3634e8997d3fc4379')" style="cursor:pointer &lowast" target="_blank">" alt="Click to view the MathML source" title="Click to view the MathML source">&lowast -autonomous category Coherence completion |
| 本文献已被 ScienceDirect 等数据库收录！ | |