Computer Science
user avatar
user avatar
user avatar
lemontree
  • Member for 5 years, 7 months
  • Last seen this week
Profile Activity
Stats
691
reputation
3k
reached
11
answers
2
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
30
Score
10
Posts
77
Posts %
6
Score
1
Posts
8
Posts %
4
Score
2
Posts
15
Posts %
4
Score
2
Posts
15
Posts %
4
Score
1
Posts
8
Posts %
4
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
6
Could following be a counter example to Church-Rosser (Confluence) theorem?
Aug 22, 2019
answer
6
What is the diference between $\lambda x.1$ and $1$?
Nov 12, 2020
question
5
Where is simply typed lambda calculus on the Chomsky hiererchy?
Apr 7, 2020
question
4
What is the computational complexity of "real-life" regular expressions?
Jun 23, 2020
answer
4
lambda calculus with church numerals
Apr 23, 2019
answer
3
The barbers paradox first order logic formalization
Apr 29, 2019
answer
3
Is λx. a valid Lamda Calculus abstraction?
Jun 1, 2019
answer
3
Why $((+ 1) ((+ 1) 1))$ is not a $\delta-$redex?
Nov 29, 2020
answer
3
Is (λx.FV(A)) and (λx.FV(B)) β-equivalent?
Nov 8, 2020
answer
3
Free variables as defined in TAPL seems wrong
Jan 28
Top network posts
View all network posts
47
Why should we care about syntactic proofs if we can show semantically that statements are true?
33
Why is it that the statement "All goblins are yellow" does not contradict the statement "All goblins are pink?"
30
How do you differentiate between At least one X and Exactly one X in predicate logic?
29
Could we rank languages, saying one is superior to the other?
22
What exactly is a contradiction and how does it differ from falsity?

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.