Log in Sign Up
Popular Right Now
Data ScienceDevelopmentDesign
Log in Sign Up

Book Category: Theoretical Computer Science

Category Theory for Computing Science

January 7, 2023

Homotopy Type Theory: Univalent Foundations of Mathematics

January 7, 2023
Introduction to Computing

Introduction to Computing

January 7, 2023

Practical Foundations for Programming Languages Preview (PDF)

January 5, 2023

Principles of Programming Languages

January 5, 2023

Programming and Programming Languages

January 5, 2023

Programming in Martin-Löf’s Type Theory

January 5, 2023

Programming Languages: Application and Interpretation (2nd Edition)

January 5, 2023

Programming Languages: Theory and Practice (PDF)

January 5, 2023

Semantics with Applications: A Formal Introduction (PDF)

January 5, 2023

Structure and Interpretation of Computer Programs (PDF)

January 5, 2023

Structure and Interpretation of Computer Programs

January 5, 2023