School of Computer Science, University of Nottingham;
Institute of Cybernetics, Tallinn University of Technology;
Institute of Cybernetics, Tallinn University of Technology;
机译:Monad不必是终结者
机译:双倍功率单子是复合功率单子
机译:Corecursive代数,Corecursive Monad和Bloom Monad
机译:Monads不需要是辅质障碍
机译:等变谱的演算和2级内因子的分类。
机译:与这些化合物的莫纳德制剂相比阿达帕林和过氧化苯甲酰的固定组合凝胶提供最佳的经皮吸收:两项体外研究的结果
机译:终结者,尖点和共同指向的终结者,monad和comonads的分布
机译:参数化Endofunctors的余代数和模态逻辑。软件工程(sEN)。