SKIコンビネータ - mrsekut-p

SKIコンビネータ

https://twitter.com/blackenedgold/status/1225712154516475906

https://tnomura9.exblog.jp/27789588/

http://cympfh.cc/aiura/lambda2ski.html

ラムダ式の右辺を記号に変えることで、λの記号を消す

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