Theoretical Computer Science
Charles Stewart
Profile Activity
Stats
4,256
reputation
89k
reached
30
answers
5
questions
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/.

Communities (23)

Top Meta Posts
4
27

Top network posts

This user doesn’t have any gold badges yet.
26
silver badges
45
bronze badges
View all badges

Top tags (46)

Score 155
Posts 20
Posts % 57
Score 115
Posts 11
Score 92
Posts 6
Score 85
Posts 9
Score 54
Posts 2
Score 50
Posts 6
View all tags →

Top posts (35)

All Questions Answers
Votes Newest
49 Small steps for better TCS conferences? May 8 '11
47 Regular expressions aren't Aug 24 '10
34 Relationship between Turing Machine and Lambda calculus? Aug 26 '10
25 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
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
View all questions and answers →

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.