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,351
reputation
2
30
60

Martin Berger

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

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

Communities (35)

Top network posts

Top tags (93)

Score 277
Posts 28
Posts % 29
Score 234
Posts 15
Score 201
Posts 12
Score 139
Posts 17
Score 120
Posts 17
Score 119
Posts 7
View all tags →

Top posts (96) 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 (92)

Gold

2

Rarest

Silver

30

Rarest

Bronze

60

Rarest

View all badges →