Computer Science
Profile Activity
Meta user
Network profile
644
reputation
3
9

lemontree

Apparently, this user prefers to keep an air of mystery about them.

10
answers
2
questions
~2k
people reached
  • Member for 4 years, 5 months
  • 31 profile views
  • Last seen Mar 25 at 14:51

Communities (9)

Top network posts

Top tags (12)

Score 27
Posts 9
Posts % 75
Score 6
Posts 1
Score 4
Posts 2
Score 4
Posts 2
Score 4
Posts 1
Score 4
Posts 1
View all tags →

Top posts (12)

All Questions Answers
Votes Newest
6 What is the diference between $\lambda x.1$ and $1$? Nov 12 '20
6 Could following be a counter example to Church-Rosser (Confluence) theorem? Aug 22 '19
5 Where is simply typed lambda calculus on the Chomsky hiererchy? Apr 7 '20
4 What is the computational complexity of “real-life” regular expressions? Jun 23 '20
4 lambda calculus with church numerals Apr 23 '19
3 Why $((+ 1) ((+ 1) 1))$ is not a $\delta-$redex? Nov 29 '20
3 Is (λx.FV(A)) and (λx.FV(B)) β-equivalent? Nov 8 '20
3 Is λx. a valid Lamda Calculus abstraction? Jun 1 '19
3 The barbers paradox first order logic formalization Apr 29 '19
2 What is congruence in lambda-calculus Jan 19
View all questions and answers →

Badges (12)

Gold

—

Silver

3

Rarest

Bronze

9

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.