Skip to main content
Theoretical Computer Science
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro
  • Member for 9 years, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
295
reputation
848
reached
0
answers
2
questions
Communities
View all
About

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

Badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
View all tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
14
Category theory and parsers --- references wanted
Mar 15, 2015
question
5
Logics for timed resource control
Dec 17, 2014
Top network posts
View all network posts
15
parenthesis in Haskell functions
13
Haskell why is [fst,snd] :: [(a,a) -> a]
11
How do I pass command line arguments to stack exec
11
How can I convince Coq that my function is in fact recursive?
11
Programming language semantics prototyping tool