Department of Computer Science and Engineering Chalmers University of Technology Gothenburg, Sweden;
Department of Computer Science and Engineering Chalmers University of Technology Gothenburg, Sweden;
rnDepartment of Fundamental Sciences EAFTT University Medellin, Colombia;
logical theory of constructions; type theory; general recursion;
机译:霍斯特沃尔斯:对逻辑后果理论的贡献,非传统的预测理论和逻辑理论
机译:政府数字化转型的内涵与逻辑建设 - 基于社会科学系统理论分析
机译:Agda中的闭合素和Dubois的异步定点理论放松
机译:在Agda中嵌入构造的逻辑理论
机译:凯恩斯宏观理论的基础:他的概率逻辑理论及其在一般理论及以后的应用
机译:逻辑熵:古典和量子逻辑信息理论简介
机译:争取规划理论的合理性:“大理论”的逻辑结构,或/和“神”的绘画?