MathOverflow
Meta user
Network profile
1,051
reputation
1
9
10

Damiano Mazza

Apparently, this user prefers to keep an air of mystery about them.

10
answers
1
question
~24k
people reached

Communities (5)

Top network posts

Top tags (20)

Score 56
Posts 4
Posts % 36
Score 31
Posts 1
Score 16
Posts 5
Score 14
Posts 3
Score 13
Posts 3
Score 12
Posts 3
View all tags →

Top posts (11) All Questions Answers | Votes Newest

31 Time in Girard's Geometry of Interaction Aug 24 '14
20 Do you know important theorems that remain unknown? Apr 3 '18
13 Is this Wikipedia article linking to the wrong notion of coherent space Jun 15 '17
7 Recursion theory from the standoint of category theory Feb 27 '17
6 Kan extensions in the $2$-category of monoidal categories May 6 '15
6 Is Girard's LU just an embedding of classical and intuitionistic logic into linear logic? Aug 19 '17
6 Proof of ¬(¬1 ⊗ ¬1) in tensorial logic Oct 19 '18
5 How to handle sums in Tait's reducibility proof of strong normalisation? Sep 19 '17
5 Cartesian liftings in double categories Sep 21 '17
3 Is simply typed lambda calculus with fixed-point combinator Turing-complete? Feb 13 '17
View all questions and answers →

Badges (20)

Gold

1

Rarest

Silver

9

Rarest

Bronze

10

Rarest

View all badges →