Newbetuts
.
New posts in combinatory-logic
Equivalent to Ruby's #tap method in Scala [duplicate]
scala
combinatory-logic
Why can't we formalize the lambda calculus in first order logic?
logic
first-order-logic
lambda-calculus
combinatory-logic
Can someone explain the Y Combinator?
abstract-algebra
computer-science
computability
lambda-calculus
combinatory-logic
Missing parentheses in $s(k (s I I))(s(\lambda y. s(k y))(\lambda y. s I I)$ leads to interesting error in “nLab” page. Need a double check.
computer-science
lambda-calculus
fixed-points
combinatory-logic
rewriting-systems
Prev