HoTT-新数学论坛

会员登录 | 快速注册 | 忘记密码?

新数学论坛 » 传统数学的批判 » HoTT

HoTT

版主:shongvs shongvs
主题：25

	标题	作者	回复/点击	最后回复
	“动态类型”之问：	shongvs2025-10-25	0/115	shongvs2025-10-25
	HoTT的专业学术社区	shongvs2025-10-25	0/138	shongvs2025-10-25
	一个形式化的构想：时序类型论	shongvs2025-10-25	0/79	shongvs2025-10-25
	当前HoTT（以及大多数经典数学框架）的一个核心局限：	shongvs2025-10-25	0/88	shongvs2025-10-25
	HoTT的“连续”根基：确然的依赖	shongvs2025-10-25	0/89	shongvs2025-10-25
	标题	作者	回复/点击	最后回复

首页上一页 12下一页尾页