>>355
>不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物
>https://ja.wikipedia.org/wiki/%E4%B8%8D%E5%8B%95%E7%82%B9%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF

コンビネータね
なつかしい というか いまは無き"bit"誌で見かけた気がする
"bit"誌は、結構買っていた・・