Category-Theoretic logics and Algebras of Programs (1983)

by P Dybjer