SKIコンビネータ
https://twitter.com/blackenedgold/status/1225712154516475906
Lazy K
https://tnomura9.exblog.jp/27789588/
http://cympfh.cc/aiura/lambda2ski.html
Lambda Lifting
ラムダ式の右辺を記号に変えることで、
λ
の記号を消す
http://www.tatapa.org/~takuo/kotori_ski/
手順
https://csword.net/2018/06/17/lambda_lifting_とは/
α-消去
Lambda Lifting
したラムダ式を
Sコンビネータ
と
Kコンビネータ
のみを使って表す
https://www.slideshare.net/susisu2413/ski-57791999
https://ja.wikipedia.org/wiki/SKIコンビネータ計算
/kembo/YコンビネータをSKIコンビネータから作る
http://bugrammer.hateblo.jp/entry/2016/05/23/081305
http://www.cs-study.com/koga/computer/ski_again.html