Links tagged “theory”

fee.org

Argues that Bitcoin draws its value from the utility of its payment network rather than any commodity backing, and that this satisfies Mises' regression theorem.

siek.blogspot.co.uk

A primer on the notation of programming language theory — inductive definitions, grammars, operational semantics and typing rules — worked through the simply-typed lambda calculus.

fr.wikipedia.org

Wikipedia article on the 21 combinatorics and graph-theory problems Richard Karp showed in 1972 to be NP-complete by reduction to one another.