Theoretical Computer Science
Profile Activity
Meta user
Network profile
9,973
reputation
3
33
61

Martin Berger

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

92
answers
7
questions
~209k
people reached
  • London, United Kingdom
  • sussex.ac.uk/Users/mfb21
  • Member for 10 years, 4 months
  • 1,410 profile views
  • Last seen Jan 19 at 11:03

Communities (38)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (99)

All Questions Answers
Votes Newest
100 What is the contribution of lambda calculus to the field of theory of computation? Mar 23 '14
41 P and NP classes explanation through lambda-calculus Jun 6 '14
36 Applicability of Church-Turing thesis to interactive models of computation Aug 29 '12
33 Books on programming language semantics Dec 5 '10
26 What's the difference between term rewriting and pattern matching? Apr 26 '11
25 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 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
View all questions and answers →

Badges (97)

Gold

3

Rarest

Silver

33

Rarest

Bronze

61

Rarest

View all badges →