Algebra of proofs - Szabo, M. E. (Amsterdam : North-Holland Pub., 1978)
Includes index
Bibliography: p. 278-284
Keywords: Proof theory; Categories (Mathematics); Combinatory logic