意见反馈
回到顶部
EMQ Open Day 008｜Datatypes in Dependent Type
2021年7月31日 14:00 ～ 2021年7月31日 15:00
EMQ 映云科技
收起
活动票种
付费活动，请选择票种
微信扫码看直播
活动内容收起
主题：Datatypes in Dependent Type
时间：2021/07/31 14:00
地点：杭州市余杭区仓前街道龙园路88号3-A-301
内容简介：介绍依值类型中的常用数据类型与构造数据类型的思路。包括常用的依值类型列表，代表性的有限集，形式化验证中利用类型表示命题，并利用类型论工具对命题进行变换和证明，讨论经典逻辑与形式化验证中直觉逻辑的不同，以及依值类型数据类型和形式化验证在工业生产中的应用。
EMQ 简介
EMQ 公司成立于 2017 年，开源项目团队分布在世界各地。公司总部位于杭州，在北京、上海、深圳、南京、昆明、重庆设有分支机构；海外研发总部设在斯德哥尔摩，在瑞典、德国、北美、日本设有分支机构或服务团队。
我们相信并 All-In 商业开源软件，追逐「通过世界级开源软件产品，服务人类未来产业与社会」的公司使命。
活动标签
您还可能感兴趣
您有任何问题，在这里提问！
为营造良好网络环境，评价信息将在审核通过后显示，请规范用语。
全部讨论
还木有人评论，赶快抢个沙发！
下载App观看回放
扫码小程序报名
联系主办方
联系电话：
