...
机译:代数运算和一般效应
algebraic operation; computational effect; Lawvere theory; monad;
机译:代数运算和一般效应
机译:线性代数群的通用扩展和通用多项式
机译:racah代数将军作为伪领域的通用系统的对称代数
机译:使用通用对等标识符和惰性产品优化关系代数运算
机译:代数几何主题:关于Chow组的代数Napier-Ramachandran定理和Steenrod运算。
机译:多元布尔代数中的谓词术语运算和等式
机译:使用通用对等鉴别符和惰性产品优化关系代数运算