Theoretical Computer Science

Building Blocks for Theoretical Computer ScienceMargaret M. Fleck

Category Theory for Computing Science

Category Theory for ProgrammersBartosz Milewski

Delftse Foundations of ComputationStefan Hugtenburgand, Neil Yorke-Smith @ TU Delft Open

Homotopy Type Theory: Univalent Foundations of Mathematics

Introduction to Theoretical Computer ScienceBoaz Barak

Introduction to Theory of ComputationAnil Maheshwari, Michiel Smid

Learning Lean Through Architecture | Volume 2: The Curry-Howard CorrespondenceMadhav Dhiman

Models of ComputationJohn E. Savage

Principles of Programming LanguagesScott F. Smith

Programming in Martin-Löf's Type TheoryBengt Nordstroem

Programming Languages: Application and Interpretation (2nd Edition)Shriram Krishnamurthi

Programming Languages: Theory and PracticeRobert Harper

Semantics with Applications: A Formal IntroductionHanne Riis Nielson, Flemming Nielson