Reference Materials

The foundational text on category theory. Essential for understanding categories, functors, and natural transformations.

Accessible introduction with examples in Haskell. Covers functors, monads, and algebraic data types.

Comprehensive treatment of programming language theory including type systems and categorical semantics.

Categorical generalization of diagonalization. Connects self-reference to incompleteness and undecidability.

Scott domains and continuous functions. Provides denotational semantics for recursive type equations.