HackerPapers

arXiv:1506.01001cs.LO

Linear Types Can Change the Blockchain

Lucius Gregory Meredith

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.

arXiv comments
Journal reference
DOI
Subjects
cs.LOLogic in Computer Science

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Aug 2017 to Aug 2017.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Teach Yourself Logic 2017: A Study Guide [pdf] 1 comment

    • Logicians have been extremely useful to fields like formal software methods, linguistics and semantics, programming language design, etc. The latest rumblings are that linear logic may be perfectly applicable to reasoning about blockchains; see https://arxiv.org/abs/1506.01001…

      mbrockView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.