Connections between category theory and logic (1974)

by M P Fourman