Theoretical Computer Science

Building Blocks for Theoretical Computer Science

Margaret M. Fleck

Category Theory for Computing Science

Category Theory for Programmers

Bartosz Milewski

Delftse Foundations of Computation

Stefan Hugtenburgand, Neil Yorke

Homotopy Type Theory: Univalent Foundations of Mathematics

Introduction to Theoretical Computer Science

Boaz Barak

Introduction to Theory of Computation

Michiel Smid (PDF)

Models of Computation

John E. Savage

Principles of Programming Languages

Scott F. Smith *( :card_file_box: archived)*

Programming in Martin-Löf's Type Theory

Bengt Nordstroem

Programming Languages: Application and Interpretation (2nd Edition)

Shriram Krishnamurthi

Programming Languages: Theory and Practice

Robert Harper

Semantics with Applications: A Formal Introduction

Flemming Nielson (PDF)