Theoretical Computer Science
Martin Berger
  • Member for 11 years, 4 months
  • Last seen this week
Profile Activity
Stats
10,173
reputation
225k
reached
93
answers
8
questions
Communities
View all
Badges
View all badges
3
gold badges
34
silver badges
62
bronze badges
Top tags
View all tags
292
Score
30
Posts
30
Posts %
245
Score
15
Posts
15
Posts %
224
Score
12
Posts
12
Posts %
143
Score
19
Posts
19
Posts %
128
Score
18
Posts
18
Posts %
126
Score
7
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
103
What is the contribution of lambda calculus to the field of theory of computation?
Mar 23 '14
44
P and NP classes explanation through lambda-calculus
Jun 6 '14
37
Applicability of Church-Turing thesis to interactive models of computation
Aug 29 '12
34
Books on programming language semantics
Dec 5 '10
26
What's the difference between term rewriting and pattern matching?
Apr 26 '11
26
Research and open challenges in Programming Language Theory
Jun 2 '13
24
Why was there a need for Martin-Löf to create intuitionistic type theory?
Mar 1 '15
19
Why is Proof Checker required in Proof Carrying Code
Aug 30 '15
19
(How) can you model broadcasts in the pi-calculus?
Mar 19 '12
19
Historical reasons for adoption of Turing Machine as primary model of computation.
Dec 9 '10
Top network posts
View all network posts
93
Why is deep learning hyped despite bad VC dimension?
39
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.