文件名称：Totality:是关于一般递归的论文的程序和代码
文件大小：2.49MB
文件格式：ZIP
更新时间：2024-07-14 11:38:53
Agda
整体性 是关于一般递归的论文的程序和代码
【文件预览】：
Totality-master
----llncs.cls(42KB)
----Totality-slides.pdf(2.65MB)
----Notality.lagda(36KB)
----Totality.lagda(51KB)
----llncs2e()
--------subjidx.ind(3KB)
--------llncs.dem(35KB)
--------sprmindx.sty(82B)
--------history.txt(7KB)
--------splncs03.bst(32KB)
--------llncsdoc.sty(1KB)
--------llncs.ind(13KB)
--------remreset.sty(1KB)
--------aliascnt.sty(3KB)
--------llncs.doc(45KB)
--------readme.txt(1KB)
----README.md(75B)
----Makefile(355B)
----.gitignore(64B)
----Totality.bib(13KB)
----Sizey.agda(1KB)