user avatar
user avatar
user avatar
Martin Berger
  • Member for 11 years, 10 months
  • Last seen more than a week ago
104 votes
Accepted

What is the contribution of lambda calculus to the field of theory of computation?

45 votes

P and NP classes explanation through lambda-calculus

37 votes

Applicability of Church-Turing thesis to interactive models of computation

34 votes

Books on programming language semantics

26 votes
Accepted

What's the difference between term rewriting and pattern matching?

26 votes
Accepted

Research and open challenges in Programming Language Theory

24 votes
Accepted

Why was there a need for Martin-Löf to create intuitionistic type theory?

19 votes
Accepted

Why is Proof Checker required in Proof Carrying Code

19 votes

Historical reasons for adoption of Turing Machine as primary model of computation.

19 votes

What constitutes denotational semantics?

19 votes
Accepted

(How) can you model broadcasts in the pi-calculus?

17 votes

How important is knowing how to program for TCS?

17 votes
Accepted

Is it a Known Concept to Compute an Algorithm Once and Re-Interpret Answer for Different Inputs

17 votes

Lipton's most influential results

17 votes

Math talk: Theorem about git revision control system?

16 votes
Accepted

Equivalent formulation of complexity theory in Lambda Calculus?

16 votes

What is the "question" that programming language theory is trying to answer?

15 votes

Algebra oriented branch of theoretical computer science

15 votes
Accepted

Program reasoning about own source code

13 votes

Humanifying computer-generated or computer assisted proofs

13 votes
Accepted

Are there any annotated formal verification systems for pure functional programming languages?

13 votes
Accepted

How can I prove formally semantic equivalence of programming languages?

12 votes

Abstract algebra for Theoretical Computer Scientists

12 votes
Accepted

Good books on parser theory?

12 votes

Are there any topics in theoretical CS that are more about pure math?

12 votes
Accepted

Logical framework vs type theory

12 votes

Is there a theory that combines category theory/abstract algebra and computational complexity?

11 votes

What functions can System F not compute?

11 votes
Accepted

"Correctness" of type theory

11 votes
Accepted

What is the intuition behind linear logic?