...Typed lambda-calculi, ML-polymorphic types, linear logic, hyperdoctrines, PER models, Geometry of In[gap=253]关键词：类型化λ-结石，ML-多态性的类型，线性逻辑，hyperdoctrines，PER模型，几何的相互作用，充分完整性（不言自明的） ..
基于1个网页-相关网页
typed lambda-calculi
输入lambda-calculi
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动