RNTSK

占：履泰绝江（from Turing Machine to Abacus-Chip Machine）

GTD180014:【翻译】Combinatory_logic

https://en.wikipedia.org/wiki/Combinatory_logic

 

https://stackoverflow.com/questions/tagged/combinatory-logic

posted on 2017-07-28 15:58  RNTSK  阅读(112)  评论(0)    收藏  举报

导航