理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- intensity spectrum
- intensity, strength
- intensity transfer function
- intensity transmissivity
- intensive
- intensive and meticulous cultivation
- intensive care
- intensive care unit
- intensive care unit monitor
- intensive care unit monitor, ICU monitor
- intensive degree of farmland utilization
- intensive design
- intensive economic growth
- intensive expansion reproduction
- intensive government administration in Qingdao city
- intensive grazin
- intensive land use
- intensive land use management
- intensive management of agriculture
- intensive properties
- intensive quality
- intensive quantity
- intensive quenching
- intensive rehabilitation
- intensive reproduction