Lectures on Semantics : The initial algebra and final coalgebra perspectives. Four lectures given at the (1995)

by P Aczel
Venue:Logic of Computation” Advanced Study Institute International Summer School at Marktoberdorf