Harry Dole

1954

• A coherence theorem for closed categories