इसका टेक्स्ट मैसेज भेजे: Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs