Top network posts

• 31 Time in Girard's Geometry of Interaction
• 22 How to make the Lambda Calculus strong normalizing without a type system?
• 21 What is the contribution of lambda calculus to the field of theory of computation?
• 20 What is the power of general poly-size permutation branching programs?
• 20 Do you know important theorems that remain unknown?
• 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}$?
• View more network posts →