Reputation
338
Next privilege 500 Rep.
Access review queues
Badges
2 17
Newest
 Tumbleweed
Impact
~13k people reached

Oct
9
awarded  Tumbleweed
Oct
2
asked Fourier transform and number theory
Dec
9
awarded  Caucus
Sep
12
accepted Representing lists and trees in System F
Jul
2
awarded  Curious
Jun
9
revised Cubic MacLaurin $e^{x^2}$
formulae formatting
Jun
9
suggested approved edit on Cubic MacLaurin $e^{x^2}$
Jun
8
accepted Consequences of difference between “strong” and weak Church-Rosser property
Jun
8
answered Consequences of difference between “strong” and weak Church-Rosser property
Jun
2
accepted Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus
Jun
2
suggested rejected edit on Chaitin's constant for lambda calculus and combinatory logic
Jun
2
revised Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus
Clarified my proof
Jun
1
awarded  Excavator
Jun
1
asked Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus
Jun
1
revised Lambda Calculus: Reduction to Normal Form
Formulae formatting
Jun
1
suggested approved edit on Lambda Calculus: Reduction to Normal Form
Jun
1
comment Learning Lambda Calculus
I believe that the book by Henk P. Barendregt “The Lambda Calculus, Its Syntax and Semantics” is too formal to be useful as a first textbook to learn lambda calculus. I think it is more a reference book for people working in related fields.
May
24
answered lambda calculus, equalities
May
24
revised lambda calculus, equalities
Formulae formatting
May
24
suggested approved edit on lambda calculus, equalities