理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- structured group counselling
- structure diagram
- structured illumination microscope
- structured illumination microscope (SIM)
- structured illumination microscopy
- structured interview
- structure disease detection technology in civil engineering
- structure dislocated inflation
- structured language
- structured light based stereo vision
- structured light measurement
- structured light vision sensor
- structured lipids
- structured matrix
- structured mesh
- structured method
- structured model
- structured object
- structured observation
- structure domain
- structured output learning
- structured pattern recognition
- structured peer-to-peer systems
- structured personality test
- structured program