AI·学术
该期刊十月摘要汇总 61 篇笔记与 64 项编辑批准，围绕同伦类型论中恒等类型的计算解释、区间结构与余代数可观测性等主题。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。