Top network posts

• 22 How to make the Lambda Calculus strong normalizing without a type system?
• 22 What is the contribution of lambda calculus to the field of theory of computation?
• 21 What is the power of general poly-size permutation branching programs?
• 19 Can typed lambda calculi express *all* algorithms below a given complexity?
• 17 What if an $\mathsf L$-complete problem has $\mathsf{NC}^1$ circuits? More generally, what evidence is there against $\mathsf{NC}^1=\mathsf{L}$?
• 15 (How) Could we discover/analyze NP problems in the absence of the Turing model of computation?
• 14 Algorithm to determine function equality on the simply typed lambda calculus?
• View more network posts →