Theoretical Computer Science
Rodrigo Ribeiro
Profile Activity
Stats
285
reputation
692
reached
0
answers
2
questions
About

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

Communities (6)

Top network posts

This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges

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

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.