minimalist foundation; finite sets; finite subsets; type theory; constructive mathematics;
机译:关于教会论文和首选公理的极简主义基金会密集水平的一致性
机译:极简主义基金会的扩展Kleene可实现性语义
机译:建构主义数学的极简两级基础
机译:极简主义基金会的有限性
机译:参与结构的极简分析:迈向非有限结构的阶段说明。
机译:道德基础渐晕:基于道德基础理论的情景标准化激励数据库
机译:极简主义基础的扩展Kleene可实现语义