In this paper, we extend Monae, a Coq library for monadic ... Our starting point is the existing theory of modular monad ... 中文翻译： ...
確定！ 回上一頁
