Linear Types Can Change the Blockchain
classification
💻 cs.LO
keywords
linearblockchainchangeclassicalfullgiveinterpretationlogic
read the original abstract
We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.