Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
3,821
reputation
22
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
~70k
people reached
  • Berlin, Germany
  • textproof.com/stewart
  • Member for 8 years, 6 months
  • 644 profile views
  • Last seen Oct 3 '18 at 18:19

Communities (23)

Top Meta Posts
4
27

Top Network Posts

Top Tags (46)

Score 150
Posts 20
Posts % 57
Score 110
Posts 11
Score 91
Posts 6
Score 82
Posts 9
Score 52
Posts 2
Score 48
Posts 6
View all tags →

Top Posts (35) All Questions Answers | Votes Newest

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

Badges (67)

Gold

—

Silver

22

Rarest

Bronze

45

Rarest

View all badges →