理学 类型理论 释 categorical semantics 范畴语义学 运用范畴论中的概念和性质给出计算机语言的形式语义定义。
categorical semantics 范畴语义学
理论计算机科学 程序理论 释文 categorical semantics 范畴语义
- psychological service for prisoner
- psychological social psychology
- psychological statistics
- psychological stress
- psychological support
- psychological suzhi
- psychological system of causality theory
- psychological tactic
- psychological television criticism
- psychological television criticism theory
- psychological test
- psychological testing examiner
- psychological test norm
- psychological test standardization
- psychological text
- psychological theories of crime
- psychological theory of law
- Psychological Time
- psychological training
- Psychological Types
- psychologicalutilitarianism
- psychological warfare
- psychological warfare by propaganda
- psychological warfare equipment
- psychological weapon