Newbetuts
.
New posts in rewriting-systems
Convertibility of Two Lambda Expressions Equivalent to Existence of a Common Reduct
definition
computer-science
lambda-calculus
rewriting-systems
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