相关文章推荐
博学的墨镜  ·  Aeternity Foundation ...·  2 周前    · 
博学的墨镜  ·  Aeternity Foundation ...·  2 周前    · 
憨厚的长颈鹿  ·  同伦类型论是数学还是计算机-问答-阿里云开发 ...·  2 年前    · 
憨厚的长颈鹿  ·  秦王嬴政的“车同轨,书同文,行同伦”顶层设计 ...·  2 年前    · 
憨厚的长颈鹿  ·  12月26日邹婷湘报告:同伦类型论简介·  2 年前    · 
憨厚的长颈鹿  ·  同伦类型论·  2 年前    · 
憨厚的长颈鹿  ·  MSCS 第31.1 期(2021 ...·  2 年前    · 
小百科  ›  12月26日邹婷湘报告:同伦类型论简介
同伦类型论(HoTT) theory foundation
憨厚的长颈鹿
2 年前
文章比较旧,稍后恢复,请稍后重试
 
推荐文章
博学的墨镜  ·  Aeternity Foundation (@aeternity) / X
2 周前
博学的墨镜  ·  Aeternity Foundation | LinkedIn
2 周前
憨厚的长颈鹿  ·  同伦类型论是数学还是计算机-问答-阿里云开发者社区-阿里云
2 年前
憨厚的长颈鹿  ·  秦王嬴政的“车同轨,书同文,行同伦”顶层设计对于中国意味着什么?
2 年前
憨厚的长颈鹿  ·  12月26日邹婷湘报告:同伦类型论简介
2 年前
憨厚的长颈鹿  ·  同伦类型论
2 年前
憨厚的长颈鹿  ·  MSCS 第31.1 期(2021 年)同伦类型理论和单价基础前言– 第二部分 ...
2 年前
Link管理   ·   Sov5搜索   ·   小百科
小百科 - 百科知识指南