June 2, 2015· arXiv
preprint
Open access
Linear Types Can Change the Blockchain
Authors:Lucius Gregory Meredith
Abstract
We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.