人大经济论坛 › 论坛 › 经济学论坛三区 › 微观经济学 › 经济金融数学专区 › Categorical logic and type theory

CDA数据分析研究院

商业数据分析与大数据领航教育品牌



经管云课堂

经管/金融/财会/社科/名师公开课



学术培训

Stata 空间计量 SSCI Python

贵宾：通行论坛特权+数据库权限
+案例库+下载特权 VIP：论坛特权+更多下载次数
+ccerdata数据库+更高阅读权限+……

返回列表

发帖

楼主: wxwpxh

298 0

[教材书籍] Categorical logic and type theory [推广有奖]

4关注
14粉丝

学术权威

49%

还不是VIP/贵宾

威望: 1 级
论坛币: 2309869 个
通用积分: 6676.738
学术水平: 179 点
热心指数: 362 点
信用等级: 32 点
经验: 53194 点
帖子: 3078
精华: 0
在线时间: 4396 小时
注册时间: 2010-1-6
最后登录: 2024-11-23

楼主

wxwpxh

发表于 2023-9-27 13:47:22 |只看作者 |坛友微信交流群|倒序 |AI写论文

相似文件

换一批

是否 +2 论坛币

k人参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Categorical logic and type theory
屏幕截图.png

出版社: Elsevier Science,
出版地: Amsterdam
丛书名: Studies in logic and the foundations of mathematics
Type theory Categories (Mathematics)

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Categorical Theory Logic type Theo

[教材书籍] Categorical logic and type theory [推广有奖]

经管之家送您一份

经管之家联合CDA

感谢您参与论坛问题回答

扫码加我拉你入群

相关帖子

本版微信群

文房思宝

[教材书籍] Categorical logic and type theory [推广有奖]

经管之家送您一份

经管之家联合CDA

感谢您参与论坛问题回答

扫码加我 拉你入群

相关帖子

本版微信群

文房思宝

扫码加我拉你入群