Theoretical Computer Science
Martin Berger
Profile Activity
Stats
10,131
reputation
221k
reached
93
answers
8
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (38)

Top network posts

3
gold badges
34
silver badges
62
bronze badges
View all badges

Top tags (96)

Score 291
Posts 30
Posts % 30
Score 241
Posts 15
Score 221
Posts 12
Score 143
Posts 19
Score 127
Posts 18
Score 127
Posts 7
View all tags →

Top posts (101)

All Questions Answers
Votes Newest
100 What is the contribution of lambda calculus to the field of theory of computation? Mar 23 '14
45 P and NP classes explanation through lambda-calculus Jun 6 '14
37 Applicability of Church-Turing thesis to interactive models of computation Aug 29 '12
34 Books on programming language semantics Dec 5 '10
26 What's the difference between term rewriting and pattern matching? Apr 26 '11
26 Research and open challenges in Programming Language Theory Jun 2 '13
24 Why was there a need for Martin-Löf to create intuitionistic type theory? Mar 1 '15
19 (How) can you model broadcasts in the pi-calculus? Mar 19 '12
19 Historical reasons for adoption of Turing Machine as primary model of computation. Dec 9 '10
19 What constitutes denotational semantics? Dec 6 '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.