机译:子结构逻辑中用于绑定签名的统一类别理论语义学
National Institute of Information and Communications Technology, 4-2-1 Nukui-Kitamachi, Koganei, Tokyo 184-8795, Japanq;
binding signature; context; pseudo-monad; pseudo-distributive law; substitution monoidal structure; initial algebra semantics;
机译:组合逻辑与子结构逻辑的语义
机译:从潜行者理论的角度对子结构逻辑的正确语义学
机译:模态子结构逻辑的Kripke语义
机译:无身份绑定:绑定和免除隐喻的统一语义。
机译:通过语义签名的计算机辅助语义签名识别和文档分类。
机译:统一医学语言系统。 Umls语义网络:UMLS语义网络
机译:类型化绑定签名的统一类别理论表述