MPC 2022にてモナディック等式推論に関する論文発表
斉藤が the 14th International Conference on Mathematics of Program Construction (MPC 2022) に採択された論文 “Towards a Practical Library for Monadic Equational Reasoning in Coq” を発表します。この研究は産総研Reynald Affeldt博士との共同研究です。
斉藤が the 14th International Conference on Mathematics of Program Construction (MPC 2022) に採択された論文 “Towards a Practical Library for Monadic Equational Reasoning in Coq” を発表します。この研究は産総研Reynald Affeldt博士との共同研究です。