Skip to main content
MathOverflow
Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza
  • Member for 10 years, 11 months
  • Last seen this week
Profile Activity
Stats
1,646
reputation
44k
reached
16
answers
1
question
Communities
Badges
View all badges
1
gold badge
14
silver badges
12
bronze badges
Top tags
View all tags
93
Score
8
Posts
47
Posts %
42
Score
2
Posts
12
Posts %
31
Score
5
Posts
29
Posts %
31
Score
5
Posts
29
Posts %
30
Score
7
Posts
41
Posts %
28
Score
3
Posts
18
Posts %
Top posts
View all questions and answers
answer
33
Time in Girard's Geometry of Interaction
Aug 24, 2014
answer
32
Do you know important theorems that remain unknown?
Apr 3, 2018
answer
13
Is this Wikipedia article linking to the wrong notion of coherent space
Jun 15, 2017
answer
12
Proof of ¬(¬1 ⊗ ¬1) in tensorial logic
Oct 19, 2018
answer
10
Kan extensions in the $2$-category of monoidal categories
May 6, 2015
answer
9
How to handle sums in Tait's reducibility proof of strong normalisation?
Sep 19, 2017
answer
9
What would you do with a new model of linear logic?
Feb 26
answer
8
Recursion theory from the standoint of category theory
Feb 27, 2017
answer
8
Is there a proof of strong normalisation that uses ordinal numbers?
May 31, 2022
question
7
Cartesian liftings in double categories
Sep 21, 2017
Top network posts
View all network posts
25
How to make the Lambda Calculus strong normalizing without a type system?
22
What is the power of general poly-size permutation branching programs?
22
Can typed lambda calculi express *all* algorithms below a given complexity?
22
What is the contribution of lambda calculus to the field of theory of computation?
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}$?