Category Theory for Computing Science. Les Publications CRM, Montréal, third edition, 1999. Alessandra Carbone. Interpolants, cut elimination and flow graphs for the propositional calculus. Annals of Pure and Applied Logic (1997)

by Michael Barr, Charles Wells