Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

相似书籍

• Relating Algebraic and Coalgebraic Descriptions of Lenses
  由: Gibbons, J, et al.
  出版: (2012)
• Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
  出版: (2002)
• Relating Algebraic and Coalgebraic Logics of Knowledge and Update
  由: Cirstea, C, et al.
  出版: (2006)
• Coalgebraic aspects of bidirectional computation
  由: Abou-Saleh, F, et al.
  出版: (2017)
• LINEAR ALGEBRA : LECTURE NOTES /
  由: Nor Haniza Sarmin, author 615523, et al.
  出版: (2022)