ALGEBRA OF PROOFS - Szabe, M. E. (Amsterdam North-Holland Pub. Co., 1978)
Bibliography : P. 278-284
Keywords: Proof Theory; Categories (Mathematics); Combinatory Logic