ࢀߟจݙ
大体 Wikipedia を読めばいいと思う
ラムダ計算
コンビネータ論理
SKIコンビネータ計算
不動点コンビネータ
Slide 66
Slide 66 text
ࢀߟจݙ
The Lazy K Programming Language
https://tromp.github.io/cl/lazy-
k.html
↑の日本語訳
http://legacy.e.tir.jp/wiliki?%CB
%DD%CC%F5%3A%A5%D7%A5%ED
%A5%B0%A5%E9%A5%DF
%A5%F3%A5%B0%B8%C0%B8%ECLazy_K