Mathematics
Vitaly Olegovitch's user avatar
Vitaly Olegovitch's user avatar
Vitaly Olegovitch's user avatar
Vitaly Olegovitch
  • Member for 11 years, 6 months
  • Last seen more than a month ago
  • Rome, Italy
Profile Activity
Stats
586
reputation
11k
reached
3
answers
9
questions
Communities
View all
About

Data Engineer, theoretical computer science enthusiast

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
24
bronze badges
Top tags
View all tags
5
Score
1
Posts
8
Posts %
5
Score
1
Posts
8
Posts %
2
Score
10
Posts
83
Posts %
2
Score
4
Posts
33
Posts %
2
Score
2
Posts
17
Posts %
0
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
10
Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus
Jun 1, 2014
question
9
Representing lists and trees in System F
Mar 17, 2014
answer
5
Proving that a language is regular
Apr 25, 2012
question
4
Is Lambda calculus a purely equational theory?
Feb 25, 2014
question
3
Meaning of variables and applications in lambda calculus
Feb 20, 2014
question
3
Consequences of difference between "strong" and weak Church-Rosser property
Feb 27, 2014
answer
2
Consequences of difference between "strong" and weak Church-Rosser property
Jun 8, 2014
question
1
Link between Ramsey Theory, random graphs and spin glasses
Oct 2, 2013
question
1
Beta reduction exercise question
Mar 15, 2014
question
1
Lambda calculus: encoding lists and projectors
Apr 19, 2014
Top network posts
View all network posts
29
Overloading in Java and multiple dispatch
28
Rule of thumb to know if a problem could be NP-complete
25
Splitting filenames using system file separator symbol
18
Which research languages have a stronger typesystem than Haskell and why?
12
How to find all permutations of a given word in a given text?

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.