Computer Science
Meta user
Network profile
630
reputation
1
4
8

Euge

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

15
answers
0
questions
~21k
people reached
  • Member for 3 years
  • 22 profile views
  • Last seen Mar 20 at 1:20

Communities (12)

Top network posts

Top tags (21)

Score 14
Posts 4
Posts % 27
Score 13
Posts 2
Score 11
Posts 2
Score 8
Posts 2
Score 7
Posts 2
Score 6
Posts 2
View all tags →

Top posts (15) All Questions Answers | Votes Newest

7 Why are some programming languages Turing complete but lack some abilities of other languages? Sep 27 '16
6 If modern computers aren't actually Turing-complete, does that mean that it is possible to determine if a program run on such a computer halts? Aug 31 '16
5 Lambda calculus lists construction explanation Dec 17 '16
4 Does it make sense to have both the concept of 'null' and 'Maybe'? Dec 30 '16
4 Lambda Calculus Prove Equality Excessive (Haskell-oriented) Nov 1 '16
4 Types and Types Systems concepts Oct 31 '16
3 Church-Rosser on an example Nov 29 '16
3 Collection of inference rules viewed itself as a judgment Oct 28 '16
3 Show that the following tautology is a theorem of natural deduction Sep 23 '16
2 Problem with Church numerals evaluation Feb 2 '17
View all questions and answers →

Badges (13)

Gold

1

Rarest

Silver

4

Rarest

Bronze

8

Rarest

View all badges →