Skip to main content
Theoretical Computer Science
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger
  • Member for 14 years
  • Last seen this week
Profile Activity
Stats
11,522
reputation
278k
reached
107
answers
9
questions
Communities
View all
Badges
View all badges
3
gold badges
40
silver badges
71
bronze badges
Top tags
View all tags
305
Score
30
Posts
26
Posts %
258
Score
23
Posts
20
Posts %
240
Score
13
Posts
11
Posts %
153
Score
22
Posts
19
Posts %
132
Score
18
Posts
16
Posts %
131
Score
7
Posts
6
Posts %
Top posts
View all questions and answers
answer
105
What is the contribution of lambda calculus to the field of theory of computation?
Mar 23, 2014
answer
48
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
35
Books on programming language semantics
Dec 5, 2010
answer
35
Recent advances in computer science since 2010?
Sep 23, 2023
answer
27
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
20
Historical reasons for adoption of Turing Machine as primary model of computation.
Dec 9, 2010
answer
20
What constitutes denotational semantics?
Dec 6, 2010
Top network posts
View all network posts
96
Why is deep learning hyped despite bad VC dimension?
58
Pragmatics of typed intermediate languages
36
Is Category Theory useful for learning functional programming?
34
How is algorithm complexity modeled for functional languages?
26
What does 'true concurrency' mean?