Typed lambda calculus and cartesian closed categories (1989)

by J C Mitchell, P J Scott
Venue:Categories in Computer Science and Logic, Contemporary Math