Theoretical Computer Science
Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza
  • Member for 9 years, 11 months
  • Last seen more than 6 years ago
Profile Activity
Stats
5,273
reputation
0
reached
0
answers
0
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.