Theoretical Computer Science
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger
  • Member for 13 years, 2 months
  • Last seen this week
Profile Activity
Stats
11,380
reputation
267k
reached
105
answers
8
questions
Communities
View all
Badges
View all badges
3
gold badges
39
silver badges
71
bronze badges
Top tags
View all tags
342
Score
21
Posts
19
Posts %
302
Score
30
Posts
27
Posts %
236
Score
13
Posts
12
Posts %
152
Score
21
Posts
19
Posts %
131
Score
18
Posts
16
Posts %
130
Score
7
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
34
Recent advances in computer science since 2010?
Sep 23
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
What constitutes denotational semantics?
Dec 6, 2010
answer
20
Recent advances in computer science since 2010?
Sep 23
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?

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.