Typed lambda models and cartesian closed categories (1989)

by J Mitchell, P Scott
Venue:Contemporary Mathematics