User Damiano Mazza - TeX - LaTeX Stack Exchange

Damiano Mazza

Member for 3 years, 8 months
Last seen more than a month ago

lipn.univ-paris13.fr/~mazza
Paris, France

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

1

bronze badge

Supporter

Jan 21, 2019

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

33

Time in Girard's Geometry of Interaction

27

Do you know important theorems that remain unknown?

24

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?