Stack Exchange Network

Stack Exchange network consists of 174 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
9,062
reputation
2
30
59

Martin Berger

Apparently, this user prefers to keep an air of mystery about them.

89
answers
5
questions
~178k
people reached

Communities (25)

Top Network Posts

Top Tags (92)

Score 263
Posts 27
Posts % 29
Score 221
Posts 14
Score 181
Posts 11
Score 139
Posts 16
Score 118
Posts 17
Score 117
Posts 15
View all tags →

Top Posts (94) All Questions Answers | Votes Newest

95 What is the contribution of lambda calculus to the field of theory of computation? Mar 23 '14
35 Applicability of Church-Turing thesis to interactive models of computation Aug 29 '12
33 P and NP classes explanation through lambda-calculus Jun 6 '14
31 Books on programming language semantics Dec 5 '10
26 What's the difference between term rewriting and pattern matching? Apr 26 '11
24 Why was there a need for Martin-Löf to create intuitionistic type theory? Mar 1 '15
23 Research and open challenges in Programming Language Theory Jun 2 '13
19 (How) can you model broadcasts in the pi-calculus? Mar 19 '12
19 What constitutes denotational semantics? Dec 6 '10
19 Historical reasons for adoption of Turing Machine as primary model of computation. Dec 9 '10
View all questions and answers →

Badges (91)

Gold

2

Rarest

Silver

30

Rarest

Bronze

59

Rarest

View all badges →