学科分类 - 《中国大百科全书》第三版网络版

高级搜索

专业板块专题板块大众板块

首页 . 理学 . 计算机科学技术

类型理论/ type theory // type theory /

数理逻辑的一个分支。

结构化类型系统/ structural type system /structural type system
类型理论
一种两个类型相等当且仅当它们的结构相同的类型系统。与名义类型系统（nominal type system）相对应。
并发模型/ concurrency model /concurrency model
类型理论
一种用于描述和分析内部含有无因果关系的事件或事件组的系统的数学模型。
λ演算/ λ-calculus /λ-calculus
类型理论
一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
范畴语义学/ categorical semantics /categorical semantics
类型理论
运用范畴论中的概念和性质给出计算机语言的形式语义定义。
抽象化/ abstraction /abstraction
类型理论
一种将复杂问题简单化的方法。
Π演算/ π-calculus /π-calculus
类型理论
基于通信进程演算（CCS）的可描述通信拓扑结构动态变化的分布式通信系统的传名演算。
程序规约/ program specification /program specification
类型理论
一种对程序预期行为的定义与描述。
通信进程演算/ calculus of communicating systems; CCS /calculus of communicating systems; CCS
类型理论
描述通信并发系统的进程代数理论。