Lambek, J. and Scott, P.J., Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, UK, 1986.
The Big Bang Theory | Theory of a Deadman | music theory | probability theory | theory | Theory of relativity | Set the Controls for the Heart of the Sun | theory of relativity | Social learning theory | Set | Go-Set | Game Theory (band) | Game Theory | Conspiracy theory | Music theory | K-theory | AP Music Theory | Set (mythology) | Scuba set | Piaget's theory of cognitive development | Erector Set | conspiracy theory | Theory of Relativity | Theory | Terror management theory | Mandelbrot set | Invariant theory | information theory | graph theory | Galois theory |