llmotivation
所属分类：论文
开发工具：TeX
文件大小：0KB
下载次数：0
上传日期：2017-08-04 11:41:52
上 传 者：
sh-1993
说明： 关于线性逻辑作为区块链编程语言的动机论文，
(Motivational Paper on Linear Logic as a blockchain programming language,)
文件列表:
doc/ (0, 2017-08-04)
doc/doc.html (18031, 2017-08-04)
src/ (0, 2017-08-04)
src/acmart.cls (69289, 2017-08-04)
src/doc.sol.md (3293, 2017-08-04)
src/doc.tex (25341, 2017-08-04)
src/library.bib (33, 2017-08-04)
src/llevm.sketch (40960, 2017-08-04)
src/manyfoot.sty (12612, 2017-08-04)
src/nccfoots.sty (1189, 2017-08-04)
src/verification.tex (13766, 2017-08-04)
近期下载者：
相关文件：
收藏者：