A Semantics for Higher-order Functors (1994)

by David B. MacQueen, Mads Torre