Skip to main content
Theoretical Computer Science
Charles Stewart's user avatar
Charles Stewart's user avatar
Charles Stewart's user avatar
Charles Stewart
  • Member for 14 years, 4 months
  • Last seen more than 5 years ago
Profile Activity
Stats
4,306
reputation
104k
reached
30
answers
5
questions
Communities
View all
About

Freelance scientific copy-editor.

Some relevant accounts: at MathOverflow and at Lambda the Ultimate.

You can read my irregular waffles at advogato.org/person/chalst/.

Badges
View all badges
This user doesn’t have any gold badges yet.
29
silver badges
45
bronze badges
Top tags
View all tags
159
Score
20
Posts
57
Posts %
116
Score
11
Posts
31
Posts %
93
Score
6
Posts
17
Posts %
88
Score
9
Posts
26
Posts %
56
Score
2
Posts
6
Posts %
51
Score
6
Posts
17
Posts %
Top posts
View all questions and answers
answer
49
Regular expressions aren't
Aug 24, 2010
answer
49
Small steps for better TCS conferences?
May 8, 2011
answer
35
Relationship between Turing Machine and Lambda calculus?
Aug 26, 2010
answer
28
Translating SAT to HornSAT
Aug 18, 2010
answer
21
Using lambda calculus to derive time complexity?
Aug 22, 2010
answer
17
Are lambda calculus and combinatory logic the same?
Aug 19, 2010
question
16
Extensions of beta-theory of lambda calculus
Aug 18, 2010
question
16
Seeking Scott's original LCF paper
Jun 9, 2011
answer
16
What algorithms are known for computing Craig interpolants?
Aug 29, 2010
question
15
Are there intermediate eta theories for the lambda calculus?
Sep 17, 2010
Top Meta posts
4
27
17
Proposal: Remove discipline prefix from the Arxiv-style tags
11
What should our site/domain name be?
10
How are we doing?
10
What should our site/domain name be?
7
Protocol for accepting answers in CW and list type questions
Top network posts
View all network posts
153
When should one use \begingroup instead of \bgroup?
150
Symbol for Gaussian distribution
148
What is XeTeX exactly and why should I use it?
81
Use LaTeX to produce ePub
76
What is "ultrafinitism" and why do people believe it?