理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- balance based on an oversupply of products
- balance based on a shortage of products
- balance beam
- balance beam of Summer Special Olympics
- balance between the irrigation district resources ofwater and land
- balance between yin and yang
- balance block
- balance condition
- balance control of remaining power
- balanced
- balanced ANOVA
- balanced array
- balanced assignment problem
- balanced binary tree
- balanced binomial coefficient
- balanced block design
- balanced bottleneck
- balanced category
- balanced cross-section
- balanced design
- balanced development of education
- balanced die
- balanced difference
- balanced-emitter transistor
- balanced equation