On partial cartesian closed categories, Categories in computer science and logic (1989)

by L Román
Venue:Contemp. Math