Linear Types Can Change the Blockchain
arXiv:1506.01001
Abstract
We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.
arXiv:1506.01001
We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.