Theoretical Computer Science
chi's user avatar
chi's user avatar
chi's user avatar
chi
  • Member for 9 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
668
reputation
3k
reached
3
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
11
bronze badges
Top tags
View all tags
20
Score
1
Posts
25
Posts %
20
Score
1
Posts
25
Posts %
16
Score
1
Posts
25
Posts %
16
Score
1
Posts
25
Posts %
6
Score
1
Posts
25
Posts %
6
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
20
Advice for a mathematician trying to present a paper at a CS conference?
Sep 9, 2016
answer
16
What CS theories are absolutely paramount for someone new to TCS to understand?
Jun 8, 2017
question
10
Typed Lambda Calculus models and denotations
Aug 29, 2016
answer
6
Does the Category of CPOs have omega^op limits?
May 29, 2017
Top network posts
View all network posts
135
Equal (=) Vs left arrow (<-) symbols in haskell
104
Why are some programming languages "faster" or "slower" than others?
71
Why are some programming languages Turing complete but lack some abilities of other languages?
71
Why is `2 + x = 7` valid Haskell?
63
Turning A => M[B] into M[A => B]

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.