Category Theory
Steve Awodey
A Universe From Nothing
Lawrence M. Krauss
The Invisible Universe
Matthew Bothwell
Getting Started With LLVM Core Libraries
Bruno Cardoso Lopes & Rafael Auler
Graph Theory
Ronald Gould
Introduction to Graph Theory
Richard J. Trudeau
Mathematics With Applications
Susanna S. Epp
The Little Typer
Daniel P. Friedman & David Thrane Christiansen
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson