s-combinator
S combinator in Erlang
I\'m starting to learn lambda calculus and I need to implement I, S, K combinators in Erlang. Of course, S, K, I stands for:[详细]
2023-04-13 06:08 分类:问答To prove SKK and II are beta equivalent, lambda calculus
I am new to lambda开发者_如何学C calculus and struggling to prove the following. SKK and II are beta equivalent.[详细]
2023-02-28 21:17 分类:问答