Computer Science
user avatar
user avatar
user avatar
frabala
  • Member for 3 years, 2 months
  • Last seen this week
Profile Activity
Stats
791
reputation
6k
reached
25
answers
0
questions
top 14% overall
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
9
bronze badges
Top tags
View all tags
17
Score
6
Posts
24
Posts %
12
Score
5
Posts
20
Posts %
10
Score
5
Posts
20
Posts %
9
Score
7
Posts
28
Posts %
9
Score
5
Posts
20
Posts %
6
Score
5
Posts
20
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
6
Two regular languages over the same alphabet, regular or not regular?
Apr 10, 2020
answer
5
Difference between assignment, binding, and substitution?
Jun 1, 2020
answer
4
Why is the second operation of a Monad called bind?
Apr 18, 2020
answer
4
Arden's Rule, DFA & NFA to regular expressions
Mar 22, 2020
answer
3
Give a computation of the expression to normal form (Lambda calculus)
Apr 28, 2019
answer
3
Free variables in constraint-typing derivation?
Jun 7, 2021
answer
2
Pumping lemma occurrence of c > d
Apr 29, 2019
answer
2
In a NPDA if the stack is empty, where the start/end state are the same can you go again
Apr 5, 2020
answer
2
Is λx. a valid Lamda Calculus abstraction?
Jun 1, 2019
answer
2
Find typing derivation of STLC term with reference types
Jun 1, 2019
Top network posts
View all network posts
79
The difference between pointwise convergence and uniform convergence of functional sequences
13
Setting constraint deferrable doesn't work on PostgreSQL transaction
7
Setting constraint deferrable doesn't work on PostgreSQL transaction
7
How to interpret $\Box\Box A$ in the possible worlds
6
How to remove white space before reference?

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.