Interactive computation, Ambient calculus,Electronic institution, Behavior regulation;
机译:关于归纳微积分中模态微积分的形式化
机译:正规化或非正规化:企业家精神和支持市场的机构
机译:基于HOL光变分微积分的Euler-Lagrange方程式的形式化
机译:使用RBA微积分使互动机构正式化
机译:正式投诉管理系统对在线机构学生学业成就的影响分析。
机译:政府规模和机构质量对经济增长的互动影响-来自印度各州的证据
机译:使用RBA微积分形式化互动机构
机译:pVs定理证明中积分微积分的形式化