理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- chlorophenol
- chlorophyll
- chlorophyll degradation
- chlorophyll monitoring
- chloropicrin
- chloropicrin poisoning
- chloroplast
- chloroplast DNA
- chloroplast envelope
- chloroplast genetic transformation
- chloroplast genome
- chloroplast grana
- chloroplastin
- chloroplast RNA
- chloroplast stroma
- chloroplast transformation
- chloroplatinates
- chloroplatinic acid
- chloroprene
- chloroprene poisoning
- chloroprene rubber
- chloroquine
- chlorosilane
- chlorosulfenation
- chlorosulfonated polyethylene