第54章 范畴脐网 (第2/2页)
脐网纪年，纪年全息表面浮动着林秋范畴化编译的停机史诗——每个历史β-归约都是某个文明在类型观测暴力中获得的Curry-Howard对应。
在博物�
更多内容加载中...请稍候...
本站只支持手机浏览器访问，若您看到此段落，代表章节内容加载失败，请关闭浏览器的阅读模式、畅读模式、小说模式，以及关闭广告屏蔽功能，或复制网址到其他浏览器阅读！
脐网纪年，纪年全息表面浮动着林秋范畴化编译的停机史诗——每个历史β-归约都是某个文明在类型观测暴力中获得的Curry-Howard对应。
在博物�
更多内容加载中...请稍候...
本站只支持手机浏览器访问，若您看到此段落，代表章节内容加载失败，请关闭浏览器的阅读模式、畅读模式、小说模式，以及关闭广告屏蔽功能，或复制网址到其他浏览器阅读！