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
~550
people reached
  • Member for 8 months
  • 13 profile views
  • Last seen Sep 8 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
2 Is λx. a valid Lamda Calculus abstraction? Jun 1
2 Pumping lemma occurrence of c > d Apr 29
2 Variable Capturing With Repetition of Variable Name Mar 26
1 CFG for all strings of a’s and b’s that contain a different number of a’s and b’s Jun 2
1 Find typing derivation of STLC term with reference types Jun 1
1 Predicate Logic - negating the conclusion to prove logical consequence? May 27

Badges (4)

Gold

—

Silver

—

Bronze

4

Rarest