Theoretical Computer Science
Beniamino Accattoli's user avatar
Beniamino Accattoli's user avatar
Beniamino Accattoli's user avatar
Beniamino Accattoli
  • Member for 10 years, 9 months
  • Last seen more than 1 year ago
Profile Activity
Stats
341
reputation
3k
reached
3
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
2
silver badges
4
bronze badges
Top tags
View all tags
16
Score
1
Posts
33
Posts %
16
Score
1
Posts
33
Posts %
16
Score
1
Posts
33
Posts %
16
Score
1
Posts
33
Posts %
8
Score
2
Posts
67
Posts %
6
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
16
How should I think about proof nets?
Mar 1, 2013
answer
6
Is there an efficient beta-equivalence algorithm?
Oct 31, 2021
answer
2
Semantic read-back of sharing graphs
Nov 5, 2021

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.