Theoretical Computer Science
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro
  • Member for 8 years, 1 month
  • Last seen more than 1 year ago
Profile Activity
Stats
295
reputation
776
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
All Questions Answers
Score Newest
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

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.