Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

অনুরূপ উপাদানগুলি

• Relating Algebraic and Coalgebraic Descriptions of Lenses
  অনুযায়ী: Gibbons, J, অন্যান্য
  প্রকাশিত: (2012)
• Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
  প্রকাশিত: (2002)
• Conway games, algebraically and coalgebraically
  অনুযায়ী: Furio Honsell, অন্যান্য
  প্রকাশিত: (2011-09-01)
• Relating Algebraic and Coalgebraic Logics of Knowledge and Update
  অনুযায়ী: Cirstea, C, অন্যান্য
  প্রকাশিত: (2006)
• Algebra, coalgebra, and minimization in polynomial differential equations
  অনুযায়ী: Michele Boreale
  প্রকাশিত: (2019-02-01)