On-line books, lecture notes, etc

Programming language theory texts online

Theory, other

See also Electronically Available Books and Other Sources (mainly Category Theory)

Lambda Calculus

Logic, Proof Theory

Programming languages - design, implementation

Semantics, types

Rewriting

Surveys of Rewriting

mathematics

  • Introduction to Real Analysis, William F. Trench (583pp)

    Slides