Programming Valley

Programming Valley

Homotopy Type Theory: Univalent Foundations of Mathematics

January 7, 2023

Introduction to Computing

Introduction to Computing

January 7, 2023

Category Theory for Computing Science

January 7, 2023

Introduction to Theory of Computation (PDF)

January 5, 2023

Models of Computation

Models of Computation

January 5, 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

12