We specialize in hard to find items
All Categories
*Price and Stocks may change without prior notice
*Packaging of actual item may differ from photo shown
- Electrical items MAY be 110 volts.
- 7 Day Return Policy
- All products are genuine and original
About Lexon: Digital Contracts
Lexon is a computer language that anyone can read. It was made for blockchain smart contracts and can be used to write normal contracts that work as blockchain smart contracts: with Lexon, the same text is both program and legal agreement. This is useful for any organization that wants its smart contracts, or any program it uses, on- or off-chain, to be readable for all its members. It works for legal agreements as well as for internal process flow or high-level business logic. And humans can write 'Robotic Laws' in it that machines can read. Lexon is a programming language, based on advanced paradigms, implemented using mainstream compiler technology. Find updates about Lexon at https://www.lexon.tech. About this Book In non-technical terms, this book explains Digital Con-tracts: legally enforceable smart contracts that anyone can read. You do NOT need prior knowledge about blockchains. The book outlines the concept, gives examples, provides links to online tools that help to write, sign, deploy and manage digital contracts on the blockchain. Lexon’s grammar, vocabulary and document structure are illustrated. Lex-on's paradigm is explained, including how it differs from other programming languages, staying closer to human thought. Lexon’s relationship to Computational Law and AI is discussed and applications and benefits are detailed. The appendix lists notable steps towards human-readability by other programming languages, complemented with notes on constructed human languages. The more voluminous Lexon Bible adds details like the lan-guage reference: https://www.amazon.com/dp/1656262665. Contents: DIGITAL CONTRACTS The Escrow Example Explained Solidity Output Online Editor and Deployment Taxonomy Human-Readability Natural Language Programming THE LANGUAGE Vocabulary Sentence Grammar Document Structure The Double Edge of Language EXAMPLES UCC Financing Statement Service Agreement with Escrow The Moloch DAO COMPUTATIONAL LAW Law and Logic Ambiguity The Limits of Deduction The Evolution of Logic The Evolution of Programming Higher-Order Logic Boolean Truth Types PROCESSING MEANING Abstract Syntax Trees What Use is an AST? ASTs and Natural Language Artificial Intelligence Tooling Meaning SCOPE OF APPLICATION Output & Portability Multi-Lingual and Multi-Jurisdictional Code Analysis DOMAINS OF APPLICATION Private Contracting Long Tail Decentralized Autonomous Organizations AI Safety & Data Protection Trade Law Ex-Ante Regulation Governance RegTech & Oversight Terms of Service Bills of Exchange Financial Instruments & DeFi Provenance Academic Certification Supply Chain Logistics & Ride-Sharing Future-Proofing Escrow Wills Crowdfunding Mutual and Retail Insurance Information Sale and Sharing Digital Asset Markets MOTIVATION APPENDIX I: BUILDING FROM SOURCE APPENDIX II: COMPUTER LANGUAGES BASED ON NATURAL LANGUAGE APPENDIX III: CONSTRUCTED HUMAN LANGUAGES
