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, 5 months
0 profile views
Last seen Feb 2 at 3:01
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 Relationship between formal system and formal languages
- 7 Was bombe machine turing complete?
- View more network posts →