“syntactic type calculus”的概念、定义、翻译、参考文献-科学参考

单词	syntactic type calculus
释义	syntactic type calculus Encyclopedia 文学计算语言学释 syntactic type calculus句法类型演算在范畴语法中对于句法类型进行的演算。
随便看	algebraic variety of general type algebraic vector bundle algebraic version of the Gauss Manin connection algebraic version of the Gauss-Manin connection algebra isomorphism algebraist algebraizable algebraizable sheaf algebraizable space algebraization algebraization theorem algebra-logarithmic singularity algebra loop algebra module algebra of Chinese characters algebra of chord diagrams algebra of classes algebra of constants algebra of events algebra of exterior forms algebra of finite order algebra of finite representation type algebra of finite type algebra of functions algebra of infinite representation type

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。