The Stack Overflow podcast is back! Listen to an interview with our new CEO.
Theoretical Computer Science
Meta user
Network profile
9,500
reputation
2
31
61

Martin Berger

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

92
answers
6
questions
~189k
people reached
  • London, United Kingdom
  • sussex.ac.uk/Users/mfb21
  • Member for 9 years, 1 month
  • 1,250 profile views
  • Last seen 18 hours ago

Communities (36)

Top network posts

Top tags (94)

Score 277
Posts 28
Posts % 29
Score 233
Posts 15
Score 205
Posts 12
Score 138
Posts 17
Score 120
Posts 17
Score 119
Posts 7
View all tags →

Top posts (98) All Questions Answers | Votes Newest

96 What is the contribution of lambda calculus to the field of theory of computation? Mar 23 '14
39 P and NP classes explanation through lambda-calculus Jun 6 '14
35 Applicability of Church-Turing thesis to interactive models of computation Aug 29 '12
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 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
19 What constitutes denotational semantics? Dec 6 '10
View all questions and answers →

Badges (94)

Gold

2

Rarest

Silver

31

Rarest

Bronze

61

Rarest

View all badges →