Closed categories and the theory of proofs (1981)

by G E Mints
Venue:J. Soviet Math