Types and Programming Languages
Benjamin C. Pierce
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers
Category Theory
Steve Awodey
Type Theory and Functional Programming
Simon Thompson
Advanced Topics in Types and Programming Languages
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley
The Little Typer
Daniel P. Friedman & David Thrane Christiansen
Mathematical Proofs: A Transition to Advanced Mathematics
Gary Chartrand & Albert Polimeni & Ping Zhang
Mathematics With Applications
Susanna S. Epp
Introduction to Graph Theory
Richard J. Trudeau
Graph Theory
Ronald Gould