As of May 31, 2023, we have updated our Code of Conduct.
Computer Science
frabala's user avatar
frabala's user avatar
frabala's user avatar
frabala
  • Member for 4 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
801
reputation
9k
reached
25
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
17
Score
6
Posts
24
Posts %
12
Score
5
Posts
20
Posts %
10
Score
7
Posts
28
Posts %
10
Score
5
Posts
20
Posts %
10
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
Arden's Rule, DFA & NFA to regular expressions
Mar 22, 2020
answer
4
Why is the second operation of a Monad called bind?
Apr 18, 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
Variable Capturing With Repetition of Variable Name
Mar 26, 2019
answer
2
Pumping lemma occurrence of c > d
Apr 29, 2019
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
82
The difference between pointwise convergence and uniform convergence of functional sequences
14
Setting constraint deferrable doesn't work on PostgreSQL transaction
8
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.