Computer Science
user avatar
user avatar
user avatar
chansey
  • Member for 5 years, 3 months
  • Last seen this week
Profile Activity
Stats
247
reputation
4k
reached
2
answers
8
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
1
Score
3
Posts
30
Posts %
1
Score
2
Posts
20
Posts %
1
Score
1
Posts
10
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
3
Understanding $\lambda \mu$-calculus in more programming way
Jun 30, 2020
question
3
What's the meaning of linguistics?
Jul 19, 2020
question
2
Is the term $(\lambda x.x)(y y)$ a normal form in call-by-value reduction strategy?
Sep 9, 2020
question
2
Should we eliminate left recursion before using NPDA to simulate CFG?
Mar 20, 2018
question
1
When is a stuck state not final and when is a maximal sequence not complete in transition systems?
Nov 18, 2021
question
1
What is the difference between type inhabitant and subtyping?
May 4
answer
1
Prove REGULAR_TM is undecidable
Feb 7, 2017
answer
1
Is the term $(\lambda x.x)(y y)$ a normal form in call-by-value reduction strategy?
Mar 18, 2021
question
0
Is it possible to encode contradictory horn clauses without goal clauses?
Oct 29, 2021
question
0
Is there any official terminology about something like double quotes "" grammar?
Jul 20, 2020
Top network posts
View all network posts
19
Can a species have different ancestors?
10
What story does "Love Letter" tell?
6
codeblocks error on win7 64bits
5
If a MMORPG does not have a limit on the number of players, will all players eventually focus on the same server?

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.