Theoretical Computer Science
Martin Berger
  • Member for 11 years, 3 months
  • Last seen this week
Profile Activity
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

93 Answers

Votes Activity Newest
100
What is the contribution of lambda calculus to the field of theory of computation?
Mar 23 '14 at 20:25
44
P and NP classes explanation through lambda-calculus
Jun 6 '14 at 9:08
37
Applicability of Church-Turing thesis to interactive models of computation
Aug 29 '12 at 10:01
34
Books on programming language semantics
Dec 5 '10 at 17:09
26
What's the difference between term rewriting and pattern matching?
Apr 26 '11 at 20:28
26
Research and open challenges in Programming Language Theory
Jun 2 '13 at 5:59
24
Why was there a need for Martin-Löf to create intuitionistic type theory?
Mar 1 '15 at 21:41
19
Why is Proof Checker required in Proof Carrying Code
Aug 30 '15 at 16:51
19
(How) can you model broadcasts in the pi-calculus?
Mar 19 '12 at 14:06
19
What constitutes denotational semantics?
Dec 6 '10 at 13:38
19
Historical reasons for adoption of Turing Machine as primary model of computation.
Dec 9 '10 at 13:10
17
How important is knowing how to program for TCS?
Nov 9 '11 at 12:15
17
Is it a Known Concept to Compute an Algorithm Once and Re-Interpret Answer for Different Inputs
Sep 7 '15 at 19:58
17
Math talk: Theorem about git revision control system?
Aug 26 '15 at 8:04
17
Lipton's most influential results
Sep 16 '14 at 9:49
16
Equivalent formulation of complexity theory in Lambda Calculus?
Oct 23 '18 at 11:54
15
What is the "question" that programming language theory is trying to answer?
Apr 16 '19 at 8:51
15
Program reasoning about own source code
Sep 4 '15 at 17:38
15
Algebra oriented branch of theoretical computer science
Sep 23 '14 at 14:19
13
Humanifying computer-generated or computer assisted proofs
Jul 23 '15 at 11:18
13
Are there any annotated formal verification systems for pure functional programming languages?
Sep 19 '14 at 17:46
13
How can I prove formally semantic equivalence of programming languages?
Mar 30 '14 at 11:18
12
Is there a theory that combines category theory/abstract algebra and computational complexity?
Jul 22 '15 at 12:08
12
Are there any topics in theoretical CS that are more about pure math?
May 4 '15 at 4:55
12
Logical framework vs type theory
Feb 18 '15 at 20:42
12
Good books on parser theory?
Dec 2 '14 at 15:17
12
Abstract algebra for Theoretical Computer Scientists
Feb 24 '13 at 21:05
11
What is the intuition behind linear logic?
Jul 15 '17 at 9:40
11
What functions can System F not compute?
Feb 18 '15 at 1:02
11
"Correctness" of type theory
Apr 4 '14 at 19:46
1
2 3 4

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.