Computer Science
Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza
  • Member for 9 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
155
reputation
147
reached
0
answers
2
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
3
"Functorial" reductions?
Sep 26, 2016
question
2
Can we separate P and E?
Feb 16, 2015
Top network posts
View all network posts
34
Time in Girard's Geometry of Interaction
29
Do you know important theorems that remain unknown?
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
What is the contribution of lambda calculus to the field of theory of computation?