Computer Science
Rafael Castro's user avatar
Rafael Castro's user avatar
Rafael Castro's user avatar
Rafael Castro
  • Member for 9 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
499
reputation
11k
reached
3
answers
13
questions
Communities
View all
About

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.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
15
bronze badges
Top tags
View all tags
2
Score
1
Posts
6
Posts %
2
Score
1
Posts
6
Posts %
1
Score
5
Posts
31
Posts %
0
Score
4
Posts
25
Posts %
0
Score
3
Posts
19
Posts %
0
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
22
Is possible to prove undecidability of the halting problem in Coq?
Aug 29, 2017
question
8
Relationship between formal system and formal languages
May 11, 2015
question
8
Relation between Type Assignment system (TA) and Hindley-Milner system
Sep 28, 2016
question
6
How are observational equivalence, contextual equivalence, and extensional equality related?
May 24, 2017
question
4
Typing rule for binding groups
Jan 8, 2019
question
3
The law of excluded middle and decidability
Jul 3, 2019
question
2
Construct a proof tree in Hindley-Milner with function overload
Mar 26, 2017
question
2
Proving that the failure of algorithm W implies that the program is not typable
Jun 29, 2019
answer
2
C program - Visually display Graph and checking for Hamiltonian Paths?
Apr 12, 2015
question
1
Proof that L(M) = {accepts the string 1100 } is undecidable
Oct 19, 2014
Top network posts
View all network posts
21
How can I typeset an algorithm with columns as in CLRS (Introduction to Algorithms)?
19
Is the negation of a non-theorem a theorem?
13
Is Haskell's type system isomorphic to an inconsistent logic system? If so, what are the consequences?
8
Was bombe machine turing complete?
6
Gnuplot: Use fit in log scale

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.