理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- vaccinetherapy
- vaccinia virus
- vaccinia virus vector
- vaccum-pressure infiltration process of metal matrix composites
- Vachel Lindsay
- vachell’s royal fern
- vacillating tableau
- vacillation
- vacillation about zero
- vacon seal
- vacon tube
- Va costume
- vacuity
- vacuo
- vacuojunction
- vacuolated tissue
- vacuole
- vacuometer
- vacuous
- vacuous assertion
- vacuous set
- vacuous subset
- V-A curve
- VA curve
- vacuscope