Theoretical Computer Science
Marco Solieri's user avatar
Marco Solieri's user avatar
Marco Solieri's user avatar
Marco Solieri
  • Member for 11 years, 8 months
  • Last seen more than 7 years ago
Profile Activity
Stats
84
reputation
1k
reached
1
answer
0
questions
Communities
View all
About

Enthusiast. Young computer scientist: researcher on logics and theory topics, and teacher for all of them. Also freelance sysadmin, FLOSS supporter and digital rights guardian.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
6
Score
1
Posts
100
Posts %
6
Score
1
Posts
100
Posts %
6
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
6
Are optimal evaluators actually optimal?
Oct 21, 2015
Top network posts
View all network posts
9
Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus
6
Is it usual for interaction nets to leave piles of redundant fans?

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.