Linear Types Can Change the Blockchain
Lucius Gregory Meredith
TL;DR
This paper interprets full classical linear logic through blockchain operations, providing a novel perspective on how linear proofs can be represented and manipulated within blockchain systems.
Contribution
It introduces a new interpretation of linear logic in terms of blockchain operations, bridging logic and distributed ledger technology.
Findings
Linear proofs can be modeled as blockchain operations
Provides a logical foundation for blockchain protocols
Enhances understanding of resource management in blockchains
Abstract
We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Advanced Algebra and Logic · Logic, Reasoning, and Knowledge