线性类型能够改变区块链
计算机科学中的逻辑
2015-06-03 v1
摘要
我们给出了全经典线性逻辑以及线性证明在区块链操作方面的解释。
引用
@article{arxiv.1506.01001,
title = {Linear Types Can Change the Blockchain},
author = {Lucius Gregory Meredith},
journal= {arXiv preprint arXiv:1506.01001},
year = {2015}
}