Theoretical Computer Science
Meta user
Network profile
195
reputation
1
8

Rodrigo Ribeiro

Type theorist wanna be... Like logics, theorem proving, chess, beer and bacon!

0
answers
2
questions
~565
people reached

Communities (6)

Top network posts

Top tags (7)

Score 0
Posts 1
Posts % 50
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (2) All Questions Answers | Votes Newest

13 Category theory and parsers — references wanted Mar 15 '15
5 Logics for timed resource control Dec 17 '14

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest