跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
Category
:
类型论
26种语言
العربية
Беларуская (тарашкевіца)
Bosanski
Čeština
Deutsch
Ελληνικά
English
Esperanto
Español
فارسی
Français
Bahasa Indonesia
Italiano
日本語
한국어
Македонски
Bahasa Melayu
Norsk bokmål
Português
Русский
ไทย
Türkçe
Українська
اردو
Tiếng Việt
閩南語 / Bân-lâm-gú
编辑链接
分类
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
维基数据项目
打印/导出
下载为PDF
打印页面
在其他项目中
维基共享资源
外观
移至侧栏
隐藏
帮助
维基百科,自由的百科全书
頁面分類
>
人类社会
>
安全
>
電腦安全
>
形式方法
> 类型论
頁面分類
>
人文學科
>
哲学
>
邏輯
>
计算机逻辑
> 类型论
类型论
是可替代
集合论
作为
数学基础
的数学分支。
子分类
本分类有以下2个子分类,共有2个子分类。
多
多态
(11个页面)
抽
抽象数据类型
(12个页面)
分类“类型论”中的页面
以下46个页面属于本分类,共46个页面。
类型论
-
強弱型別
B
BHK释义
C
协变与逆变
柯里-霍华德同构
L
Lambda立方体
S
数学结构
Static cast
ST类型论
主
主体类型
依
依赖类型
值
值 (電腦科學)
单
单值类型
参
参数多态
可
可空类型
可选类型
合
合一
同
同伦类型论
型
型別安全
型別構造器
類型系統
基
基于原型编程
子
子类型
定
定型环境
开
开闭原则
抽
抽象类型
抽象資料型別
新
新基础集合论
有
有类型λ演算
构
构造演算
泛
泛等基础
特
特设多态
直
直觉类型论
简
简单类型λ演算
类
类型居留问题
类型推论
类型擦除
类型签名
类型类
类型转换
系
系统F
组
组合范畴语法
逻
逻辑框架
里
里氏替换原则
高
高阶逻辑
鸭
鸭子类型
分类
:
逻辑演算
数据类型
隐藏分类:
使用Catnav的页面