...
机译:单价基金会中的双分类
bicategory theoryunivalent mathematicsdependent type theoryCoq;
机译:Stefania Centrone,Deborah Kant,Deniz Sarikay编辑。关于数学基础的思考:单价基础,集合论和一般思想
机译:单价基础是结构主义基础
机译:MSCS问题31.1(2021)同型理论和单级基金会
机译:单价基金会的淫荡
机译:非可交换Lp空间的分解定理和von Neumann代数的新对称单项双类别。
机译:带有相同的抗体和相同的抗体片段的特定的回潮和红斑反应抑制
机译:作为结构主义基础的单一基础