Computer Science
Meta user
Network profile
283
reputation
4

frabala

Apparently, this user prefers to keep an air of mystery about them.

7
answers
0
questions
~732
people reached
  • Member for 11 months
  • 13 profile views
  • Last seen Sep 8 '19 at 13:47

Communities (9)

Top network posts

Top tags (10)

Score 8
Posts 4
Posts % 57
Score 5
Posts 2
Score 2
Posts 1
Score 2
Posts 1
Score 1
Posts 1
Score 1
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

3 Give a computation of the expression to normal form (Lambda calculus) Apr 28 '19
2 Is λx. a valid Lamda Calculus abstraction? Jun 1 '19
2 Pumping lemma occurrence of c > d Apr 29 '19
2 Variable Capturing With Repetition of Variable Name Mar 26 '19
1 CFG for all strings of a’s and b’s that contain a different number of a’s and b’s Jun 2 '19
1 Find typing derivation of STLC term with reference types Jun 1 '19
1 Predicate Logic - negating the conclusion to prove logical consequence? May 27 '19

Badges (4)

Gold

—

Silver

—

Bronze

4

Rarest