Damiano Mazza
  • Member for 8 years, 1 month
  • Last seen this week
2 answers
23 votes
4k views
11 bookmarks
How do you get the Calculus of Constructions from the other points in the Lambda Cube?
3 answers
14 votes
533 views
6 bookmarks
Nondeterministic speed-up of deterministic computation
2 answers
13 votes
583 views
10 bookmarks
Category theory and parsers --- references wanted
1 answers
9 votes
238 views
4 bookmarks
Type systems preventing laziness-related memory leaks?
2 answers
8 votes
530 views
3 bookmarks
Suppose $\mathbf{P} = \mathbf{BQP}$. Then what is randomness? Would it even exist at all?
1 answers
7 votes
139 views
2 bookmarks
Lower bounds for nonuniform circuits and oracles separating complexity classes
0 answers
5 votes
197 views
3 bookmarks
Parsimonious Reduction from Unique-3SAT to NAE-3SAT
1 answers
5 votes
435 views
2 bookmarks
Unary language examples between L and NP
0 answers
4 votes
163 views
2 bookmarks
Abstract stone duality and cohesive homotopy type theory