Skip to content
中文版
关于我们 – 知识库
常见问题（FAQ）– 知识库
隐私声明 – 知识库
知识库
知识库
Main Menu
Home-old
Services
About
Reviews
Why Us
Contact
类型理论
学术研究
,
意大利
,
类型理论
,
编程语言
,
计算机科学
卢卡·卡代利 (Luca Cardelli)
卢卡·卡代利
,
类型系统
,
编程语言理论
,
计算机科学家
,
面向对象编程
数学
,
类型理论
,
编程语言
,
计算机科学
,
软件开发
Agda (Agda)
Agda
,
依赖类型
,
函数式编程
,
定理证明
,
形式化验证