理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- receptor genetic polymorphism
- receptor imaging
- receptor imaging agent
- receptor inactivation
- receptor internalization
- receptor inverse agonist
- receptor-like protein kinase
- receptor-mediated endocytosis
- receptor mediated gene transfer technology
- receptor-mediated targeting drug delivery systems
- receptor model
- receptor model method
- receptor organism
- receptor potential
- receptor protein
- receptor tyrosine kinase
- recess
- recessing
- recession
- recession cone
- recession cone of a convex function
- recession cone of convex function
- recession function
- recession function of a convex function
- recession function of convex function