• 不動点の話
• Haskell/不動点と再帰
• Solving Recursive Equations
• Haskell/Denotational semantics
• CONTINUOUS LATTICES
• Domain Theory
• 再帰的関数論
• 再帰プログラムの意味論について
• Domain Theory: An Introduction
• Grokking Fix
• A Type-theoretic Reconstruction of the Visitor Pattern
• プログラム意味論とトポロジー -再帰，相互作用，結び目-
• Fixpoints in Haskell – Chris Smith – Medium
• Topological Domain Theory

fact = fix $ \fact n -> if n == 0 then 1 else n * fact (n-1)