本族类型相关硕士博士期刊学术论文

作为对劳里·航柯教授六十岁生日的致敬,丹·本-阿默思总结了他与劳里·航柯关于类型理论的基本分歧:劳里·航柯通过引用利特尔顿......