323 reputation
215
bio website linkedin.com/pub/…
location Rome, Italy
age 29
visits member for 3 years, 1 month
seen Oct 27 at 14:28

Java programmer, theoretical computer science enthusiast

My blog


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 suggested 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 suggested 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 suggested 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 suggested edit on lambda calculus, equalities
May
13
accepted Clarification about the definition of term algebras
Apr
20
comment Lambda calculus: encoding lists and projectors
Thank you very much!
Apr
20
accepted Lambda calculus: encoding lists and projectors