Cartesian Closure--Higher Types in Categories (1985)

by E Axel
Venue:In: Category Theory and Computer Programming: Tutorial and Workshop