k-combinator
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 分类:问答
I am new to lambda开发者_如何学C calculus and struggling to prove the following. SKK and II are beta equivalent.[详细]