Linear Types Can Change the Blockchain
Logic in Computer Science
2015-06-03 v1
Authors:
Lucius Gregory Meredith
Abstract
We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.
Keywords
Cite
@article{arxiv.1506.01001,
title = {Linear Types Can Change the Blockchain},
author = {Lucius Gregory Meredith},
journal= {arXiv preprint arXiv:1506.01001},
year = {2015}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
A Logic of Blockchain Updates
Kai Brünnler, Dandolo Flumini, Thomas Studer
2017-07-07
Cryptography and Security · Computer Science
On the Ethereum Blockchain Structure: a Complex Networks Theory Perspective
Stefano Ferretti, Gabriele D'Angelo
2019-09-02
Cryptography and Security · Computer Science
Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers
Hojer Key
2025-05-14
Cryptography and Security · Computer Science
A Review of Quantum and Hybrid Quantum / Classical Blockchain Protocols
Marcus Edwards, Atefeh Mashatan, Shohini Ghose
2022-01-28
Quantum Physics · Physics
Blockchain with proof of quantum work
Mohammad H. Amin, Jack Raymond, Daniel Kinn, Gunnar Miller +6
2026-02-10
Cryptography and Security · Computer Science
Blockchain Technology: Methodology, Application and Security Issues
AKM Bahalul Haque, Mahbubur Rahman
2020-12-25
Software Engineering · Computer Science
Blockchain for Business Process Enactment: A Taxonomy and Systematic Literature Review
Fabian Stiehle, Ingo Weber
2022-11-15
Computers and Society · Computer Science
Understanding Modern Banking Ledgers through Blockchain Technologies: Future of Transaction Processing and Smart Contracts on the Internet of Money
Gareth William Peters, Efstathios Panayi
2015-11-19
Databases · Computer Science
A Comprehensive Survey of Blockchain Scalability: Shaping Inner-Chain and Inter-Chain Perspectives
Baochao Chen, Liyuan Ma, Hao Xu, Juncheng Ma +5
2024-09-06
Cryptography and Security · Computer Science
Blockchains: a Systematic Multivocal Literature Review
Bert-Jan Butijn, Damian A. Tamburri, Willem-Jan Van Den Heuvel
2019-11-28
Cryptography and Security · Computer Science
Blockchain Technology Overview
Dylan Yaga, Peter Mell, Nik Roby, Karen Scarfone
2019-06-27
Distributed, Parallel, and Cluster Computing · Computer Science
Blockchain Systems, Technologies and Applications: A Methodology Perspective
Bin Cao, Zixin Wang, Long Zhang, Daquan Feng +2
2021-05-11
Cryptography and Security · Computer Science
Towards Verifiable Mutability for Blockchains
Erik Daniel, Florian Tschorsch
2021-07-01
Distributed, Parallel, and Cluster Computing · Computer Science
Blockchain Abstract Data Type
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru +1
2018-05-15
Cryptography and Security · Computer Science
A Primer for Blockchain
Lawrence J. Trautman, Mason J. Molesky
2019-04-09
Cryptography and Security · Computer Science
Blockchain Oracle Design Patterns
Amirmohammad Pasdar, Zhongli Dong, Young Choon Lee
2021-06-18
Mathematical Finance · Quantitative Finance
Blockchains and Distributed Ledgers in Retrospective and Perspective
Alexander Lipton
2017-03-07
Distributed, Parallel, and Cluster Computing · Computer Science
Blockchain in Dynamic Networks
Rachel Bricker, Mikhail Nesterenko, Gokarna Sharma
2022-08-09
Cryptography and Security · Computer Science
A Generalised Logical Layered Architecture for Blockchain Technology
Jared Newell, Quazi Mamun, Sabih ur Rehman, Md Zahidul Islam
2021-10-20
Cryptography and Security · Computer Science
Blockchain And The Future of the Internet: A Comprehensive Review
Fakhar ul Hassan, Anwaar Ali, Mohamed Rahouti, Siddique Latif +7
2020-11-16
Cryptography and Security · Computer Science
Blockchain: Emerging Applications and Use Cases
Danda B. Rawat, Vijay Chaudhary, Ronald Doku
2019-04-30
Cryptography and Security · Computer Science
ConnectionChain: Secure Interworking of Blockchains
Shingo Fujimoto, Yoshiki Higashikado, Takuma Takeuchi
2020-01-07
Software Engineering · Computer Science
Blockchain Developments and Innovations
Mahdi Fahmideh, Anuradha Gunawardana, Shiping Chen, Jun Shen +1
2021-12-15
Computers and Society · Computer Science
Why blockchain and smart contracts need semantic descriptions
Zoran Škoda
2021-07-30
Cryptography and Security · Computer Science
Blockchain technology research and application: a systematic literature review and future trends
Min An, Qiyuan Fan, Hao Yu, Haiyang Zhao
2023-10-10