Theoretical Computer Science
user avatar
user avatar
user avatar
Martin Berger
  • Member for 11 years, 10 months
  • Last seen this week
Profile Activity
Stats
10,308
reputation
231k
reached
96
answers
8
questions
Communities
View all
Badges
View all badges
3
gold badges
34
silver badges
62
bronze badges
Top tags
View all tags
293
Score
30
Posts
29
Posts %
247
Score
15
Posts
14
Posts %
230
Score
13
Posts
12
Posts %
146
Score
20
Posts
19
Posts %
129
Score
18
Posts
17
Posts %
127
Score
7
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
104
What is the contribution of lambda calculus to the field of theory of computation?
Mar 23, 2014
answer
45
P and NP classes explanation through lambda-calculus
Jun 6, 2014
answer
37
Applicability of Church-Turing thesis to interactive models of computation
Aug 29, 2012
answer
34
Books on programming language semantics
Dec 5, 2010
answer
26
What's the difference between term rewriting and pattern matching?
Apr 26, 2011
answer
26
Research and open challenges in Programming Language Theory
Jun 2, 2013
answer
24
Why was there a need for Martin-Löf to create intuitionistic type theory?
Mar 1, 2015
answer
19
Why is Proof Checker required in Proof Carrying Code
Aug 30, 2015
answer
19
(How) can you model broadcasts in the pi-calculus?
Mar 19, 2012
answer
19
Historical reasons for adoption of Turing Machine as primary model of computation.
Dec 9, 2010
Top network posts
View all network posts
94
Why is deep learning hyped despite bad VC dimension?
45
Pragmatics of typed intermediate languages
34
How is algorithm complexity modeled for functional languages?
34
Is Category Theory useful for learning functional programming?
25
What does 'true concurrency' mean?

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.