Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

This series presents recent research on the effects of taxation and government expenditure programs on economic performance and analyses of the effects of potential tax reforms. The research results appear in a form that is accessible to tax practitioners and policymakers.