nLab
cartesian closed functor (history)

December 16, 2011

December 7, 2011