理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- sealed sampling
- sealed source
- sea level
- sea level change
- sea level change/eustasy
- sea-level correction
- Seal for King of Dian Kingdom
- seal head of boiler
- seal identification
- Sealife Base
- sealing
- sealing and refutation of the imperial edicts and memorials
- sealing channeling by bullheading
- sealing channeling by circulation method
- sealing channeling by cycle into
- sealing channeling by filling in the slurry
- sealing-clay inscriptions
- sealing fan
- sealing fluid
- sealing glass
- sealing material
- sealing material with special media resistance
- sealing off channel
- sealing structure
- sealing technique of vacuum electronic device