Theoretical Computer Science
Profile Activity
Meta user
Network profile
9,915
reputation
3
32
61

Martin Berger

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

92
answers
7
questions
~204k
people reached

Communities (38)

Top network posts

Top tags (96)

Score 283
Posts 28
Posts % 28
Score 240
Posts 15
Score 215
Posts 12
Score 141
Posts 18
Score 123
Posts 17
Score 122
Posts 7
View all tags →

Top posts (99)

All Questions Answers
Votes Newest
100 What is the contribution of lambda calculus to the field of theory of computation? Mar 23 '14
41 P and NP classes explanation through lambda-calculus Jun 6 '14
36 Applicability of Church-Turing thesis to interactive models of computation Aug 29 '12
32 Books on programming language semantics Dec 5 '10
26 What's the difference between term rewriting and pattern matching? Apr 26 '11
24 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 Why is Proof Checker required in Proof Carrying Code Aug 30 '15
19 Historical reasons for adoption of Turing Machine as primary model of computation. Dec 9 '10
19 (How) can you model broadcasts in the pi-calculus? Mar 19 '12
View all questions and answers →

Badges (96)

Gold

3

Rarest

Silver

32

Rarest

Bronze

61

Rarest

View all badges →