注3：根据「两体类型论(Two-Sorted Type Theory)，我们可以把代表时间的变项i视为论域中所有个体和函 项的一个附加论元，即个体j和函项SING现在变成了j(i)和SING(i)，这样在「两...
基于1个网页-相关网页
two-sorted type theory
双排序型理论
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动