Title: Algebra of proofs
Subjects: Categories (Mathematics), Combinatory logic, Proof theory