References and Further Reading


Stewart, Ian (1975) Concepts of Modern Mathematics
Stewart, Ian (2003) Galois Theory
Birkhoff, Garrett and Mac Lane, Saunders (1965) A Survey of Modern Algebra
Category Theory
Awodey, Steve (2010) Category Theory
Mac Lane, Saunders (1971) Categories for the Working Mathematician
Pierce, Benjamin C. (1991) Basic Category Theory for Computer Scientists
Riehl, Emily (2016) Category Theory in Context
Leinster, Tom (2014) Basic Category Theory

Stewart, Ian (2008) Taming the Infinite
Feynman, Richard (1985) "Surely You're Joking, Mr. Feynman!": Adventures of a Curious Character


Eilenberg, Samuel and Mac Lane, Saunders (1945) General Theory of Natural Equivalences
Moggi, Eugenio (1991) Notions of computation and monads
Wadler, Philip (1995) Monads for Functional Programming
Awodey, Steve and Harper, Robert (2015) Homotopy Type Theory: Unified Foundations of Mathematics and Computation
Stroustrup, Bjarne Evolving a language in and for the real world: C++ 1991-2006


Rogier F. van Vlissingen (1985) Interview Prof. Dr. Edsger W. Dijkstra
Kelly Devine Thomas (2010) The Fundamental Lemma: From Minor Irritant to Central Problem
Colin McLarty (2007) The Last Mathematician from Hilbert's Gottingen: Saunders Mac Lane as Philosopher of Mathematics
Graziano Lo Russo (2008) An Interview with A. Stepanov
A History of OCaml


BBC Horizon on Andrew Wiles' proof (1996) Fermat's Last Theorem
IHES interview with Pierre Cartier (2014, in French) Cartier interview


Bartosz Milewski (mathematical and programming point of view): Monads for the Curious Programmer
Tai-Danae Bradley (mathematical point of view): Category Theory
Eric Lippert (programming point of view): Fabulous adventures in coding: Monads