I'm (trying to be) a computer scientist at the Santa Catarina State University and at the moment I'm doing my master's thesis.
Member for 4 years, 9 months
0 profile views
Last seen Jul 3 at 23:06
- Stack Overflow 284 284 33 silver badges1111 bronze badges
- Mathematics 229 229 11 silver badge1010 bronze badges
- TeX - LaTeX 207 207 33 silver badges77 bronze badges
- Computer Science 172 172 22 silver badges1515 bronze badges
- Theoretical Computer Science 138 138 55 bronze badges
- View network profile →
Top network posts
- 22 Is possible to prove undecidability of the halting problem in Coq?
- 18 Is the negation of a non-theorem a theorem?
- 16 How can I typeset an algorithm with columns as in CLRS (Introduction to Algorithms)?
- 12 Is Haskell's type system isomorphic to an inconsistent logic system? If so, what are the consequences?
- 8 Relation between Type Assignment system (TA) and Hindley-Milner system
- 7 Was bombe machine turing complete?
- 7 Relationship between formal system and formal languages
- View more network posts →