[视频作者] 火锅boy韩大冬
[视频时长] 47:51
#函数式编程,范畴论,类型系统# [视频类型] 科学科普
这是第五届函数式编程交流会的talk《在范畴论里解释类型论》，作者：张寅森 对应的slide地址：https://pan.baidu.com/s/1VZNo37VdLswXtt_mqXvheA 提取码：2fg6
2021第五届函数式编程交流会 在范畴论里解释类型论 张寅森
以上内容由小不点搜索引擎从网站www.bilibili.com自动化索引镜像而来，不代表网站的即时内容，也无法确保其有效性；仅限个人学习使用，禁止商用。如有任何异议，请使用举报删除
影音视频访问链接
以下链接为影音视频“2021第五届函数式编程交流会 在范畴论里解释类型论 张寅森”在线访问地址，点击链接就可以访问查看啦
www.bilibili.com