Theoretical Computer Science
Meta user
Network profile
451
reputation
3
8

xavierm02

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

8
answers
0
questions
~2k
people reached
  • France
  • xavierm02.net
  • Member for 5 years, 2 months
  • 20 profile views
  • Last seen Sep 10 at 10:41

Communities (58)

Top network posts

Top tags (14)

Score 13
Posts 2
Posts % 25
Score 12
Posts 4
Score 11
Posts 1
Score 11
Posts 1
Score 6
Posts 1
Score 4
Posts 1
View all tags →

Top posts (8) All Questions Answers | Votes Newest

11 Philosophy behind monotonicity requirement for inductive types Jan 29 '18
6 Krivine's notation for lambda-terms Aug 24 '17
4 Determining how n-tuples are sorted as you search them? May 9
4 If machine learning techniques keep improving, what's the role of algorithmics in the future? May 12 '17
3 Necessary and sufficient number of comparisons by every element to fully sort a set of n elements? May 16 '17
2 Definitional equality of recursive function definition by “infinite unfolding” Feb 13
1 Determining how n-tuples are sorted as you search them? May 11
1 Does a given regular language contain an infinite prefix-free subset? Jan 8

Badges (11)

Gold

—

Silver

3

Rarest

Bronze

8

Rarest

View all badges →