机译:可变约束的伪分布定律和公理学
National Institute of Information and Communications Technology, 4-2-1 Nukui-Kitamachi, Koganei, Tokyo;
binding signatures; context; pseudo-monad; pseudo-distributive law; substitution monoidal structure; initial algebra semantics;
机译:通过伪分布定律的多类别
机译:在正式的公理认识论系统Sigma中假设A-Priori-Ness的知识守恒守恒定律
机译:从知识的假设a-priorti-ness,在逻辑上正式的公理认识论系统中惯性法则的正式演绎推理
机译:绑定和平板的公理设计,以保护ACL在高山滑雪中,降低无意发布的可能性
机译:使用神经网络自动修复和键入变量的绑定
机译:社交网络中的精英:公理化的权力平衡和普莱斯平方根法则
机译:通过伪分布定律的多分类