17

Answers
votes newest views recent
0
What is some good introduction to lambda calculus?
2
Interesting complexity classes $PR \subsetneq c \subsetneq R$
6
post correspondence problem
9
The best text to study both incompleteness theorems
7
What is the history of the Y-combinator?
2
Can I have an LL grammar for every deterministic context free language?
6
Lower Bounds in Theoretical Computer Science
7
Are there complexity classes with provably no complete problems?
5
Which math paper maximizes the ratio (importance)/(length)?
1
Resources for learning domain theory?
5
reversible Turing machines
5
What is the intuitive meaning of star and box in a pure type system?
32
What is your favorite “strange” function?
3
Proofs of if and only if statements
1
Provability of termination. Whats wrong with my reasoning?
5
Typesetting mathematics: how do {\em you} convert text into pdf?
5
Is there a “primitive-recursively enumerable” set whose complement is not such?