- sicp
- HTML5/EPUB3 version of SICP
- missing-semester-cn
- HIGH RECOMMENDED The Missing Semester of Your CS Education.
- learnenugh
- Talking about something a programmer needs but not necessary. These can make you doing things more interesting.
- Introduction to the Theory of Computation
- Category Theory for Computer Science(michael barr)
- Category Theory(Awodey)
- Category Theory and Computer Science
- category theory for scientists
- category theory for programmer
- categories for the working mathematician
- unplugged
- isomorphism
- basic category theroy
- category theory in context
- plt
- Programming Language Theory λΠ
- book list
- concepts of programming languages
- practical foundations for programming languages
- types and programming languages
- certified programming with dependent types
- HoTT book
- Introductory resources to type theory for language implementers
- a blog
- plai
- Programming Languages: Application and Interpretation
- Essentials of Programming Languages
- 我的最爱Lambda演算——开篇 · cgnail’s weblog :: - 阿隆佐.丘奇的天才之作——lambda演算中的数字 · cgnail’s weblog :: - Lambda演算中的布尔值和选择 · cgnail’s weblog :: - 为什么是Y？ · cgnail’s weblog :: - 从Lambda演算到组合子演算 · cgnail’s weblog :: - Lambda演算的类型 · cgnail’s weblog :: - 终章，Lambda演算建模——程序即证明！ · cgnail’s weblog ::
- cscx
- cs by examples
- Bottom Up Computer Science
- source, archive
- paper-we-loves
- Papers from the computer science community to read and discuss.
- free programming books
- programming math science
- This is a list of links to different freely available learning resources about computer programming, math, and science.