Stack Exchange Network

Stack Exchange network consists of 175 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,147
reputation
2
30
59

Martin Berger

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

89
answers
6
questions
~181k
people reached
  • London, United Kingdom
  • sussex.ac.uk/Users/mfb21
  • Member for 8 years, 6 months
  • 1,170 profile views
  • Last seen 8 hours ago

Communities (25)

Top Network Posts

Top Tags (93)

Score 263
Posts 27
Posts % 28
Score 221
Posts 14
Score 187
Posts 11
Score 139
Posts 17
Score 119
Posts 7
Score 118
Posts 17
View all tags →

Top Posts (95) All Questions Answers | Votes Newest

95 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 (91)

Gold

2

Rarest

Silver

30

Rarest

Bronze

59

Rarest

View all badges →