タグ付けされた質問 「fixpoint-combinators」

1
修正とMu同型
でrecursion-schemes、パッケージは、次の種類が定義されています。 newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) それらは同型ですか？もしそうなら、どうやってそれを証明しますか？
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.