Theoretical Computer Science
Profile Activity
Meta user
Network profile
4,196
reputation
23
45

Charles Stewart

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/.

30
answers
5
questions
~79k
people reached
  • Berlin, Germany
  • textproof.com/stewart
  • Member for 9 years, 7 months
  • 670 profile views
  • Last seen Dec 13 '19 at 13:14

Communities (23)

Top Meta Posts
4
27

Top network posts

Top tags (46)

Score 153
Posts 20
Posts % 57
Score 111
Posts 11
Score 92
Posts 6
Score 84
Posts 9
Score 54
Posts 2
Score 49
Posts 6
View all tags →

Top posts (35)

All Questions Answers
Votes Newest
48 Small steps for better TCS conferences? May 8 '11
47 Regular expressions aren't Aug 24 '10
31 Relationship between Turing Machine and Lambda calculus? Aug 26 '10
24 Translating SAT to HornSAT Aug 18 '10
22 Using lambda calculus to derive time complexity? Aug 22 '10
16 Extensions of beta-theory of lambda calculus Aug 18 '10
16 Seeking Scott's original LCF paper Jun 9 '11
16 What algorithms are known for computing Craig interpolants? Aug 29 '10
15 Are there intermediate eta theories for the lambda calculus? Sep 17 '10
15 Are lambda calculus and combinatory logic the same? Aug 19 '10
View all questions and answers →

Badges (68)

Gold

—

Silver

23

Rarest

Bronze

45

Rarest

View all badges →