理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- refraction seismic observation system
- refraction seismic prospecting
- refraction table
- refraction test
- refractive dispersion
- refractive error
- refractive index
- refractive index coupling
- refractive index detector
- refractive index dispersion
- refractive index ellipsoid
- refractive index guide
- refractive index increment
- refractive index modulated laser diode
- refractive index of fiber
- refractiveness
- refractive optical system
- refractive power
- refractive principle
- refractivity
- refractometer
- refractometry
- refractor
- refractories
- refractoriness