不動点方程式

何かを調べるときは、とりあえず nLab を見る。

• https://ncatlab.org/nlab/show/fixed-point+combinator

nLab項目から参照されている文献を見る。

• Title: NEW FIXED POINT COMBINATORS FROM OLD
• Author: JAN WILLEM KLOP
• Pages: 14p
• URL： http://www.cs.ru.nl/barendregt60/essays/klop/art16_klop.pdf

檜山のブログを検索してみる。

• https://m-hiyama.hatenablog.com/search?q=%E4%B8%8D%E5%8B%95%E7%82%B9

ナスター／タルスキーの不動点定理から始めるのがいいだろう。

• ωCPO（可算完備順序集合）で考える形式言語理論

トレース付き圏と不動点との関係なら：

• 絵算で見る「カザネスク／ステファネスク／ハイランド／長谷川の定理」
• letとletrec 再論

dcpoにおける不動点定理の短い説明は：

• Title: Unique Fixed Points in Domain Theory
• Author: Keye Martin
• Pages: 11p
• URL: https://www.sciencedirect.com/science/article/pii/S1571066104809666