理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- Weber theorem
- Weber thesis
- Weber, Wilhelm Eduard
- Weber’s Law
- Weber’s law,weber law
- web feature service
- web-fed folding device
- web-fed offset newspaper printing press
- web-fed offset press
- Web file system
- Web geographic information system
- web geometry
- WebGIS/Internet geographic information system
- WebGL图形编程接口
- Web graph
- web graph
- Web Graphics Library graph programming interface
- web group
- web guide
- Web IE
- web impact factor
- Webinar
- Web information extraction
- Web information extraction, Web IE
- web information labeling system