References on computation

Mon, Oct 26, 2015

My interest in the mathematical theory of computation is primarily due to the work of the logician Jean-Yves Girard on linear logic. Below is a list of references for the parts of the theory of computation that I either know a little about, or am interested in.

General “big picture” references on computation and logic:

Some references on lambda-calculus, System F and proof theory:

Some references on computational complexity theory:

Relations between computation and category theory:

Relations between computation and physics:

Some interesting videos: