An Introduction to Computable Contracts

Introduction to Computable General Equilibrium Models

From Songs to Smart Contracts An Introduction Cyrpto

An Introduction to the Economics of Information: Incentives and Contracts

"Introduction to Languages, Machines And Logic": "Computable Abstract Formal Logic"