Theoretical Computer Science
xavierm02
Profile Activity
Stats
421
reputation
3k
reached
9
answers
1
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all 16 tags
13
Score
5
Posts
50
Posts %
13
Score
2
Posts
20
Posts %
11
Score
1
Posts
10
Posts %
11
Score
1
Posts
10
Posts %
6
Score
2
Posts
20
Posts %
4
Score
1
Posts
10
Posts %
Top posts
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
5
Applications of solvability in the λ-calculus
Oct 12 '20
4
If machine learning techniques keep improving, what's the role of algorithmics in the future?
May 12 '17
4
Determining how n-tuples are sorted as you search them?
May 9 '19
3
Necessary and sufficient number of comparisons by every element to fully sort a set of n elements?
May 16 '17
2
Does a given regular language contain an infinite prefix-free subset?
Jan 8 '19
2
Definitional equality of recursive function definition by "infinite unfolding"
Feb 13 '19
1
Determining how n-tuples are sorted as you search them?
May 11 '19
1
Sublinear Time Regular Expression Search
Jun 21
Top network posts
View all
559
How can I remove a specific item from an array?
113
Can't enter BIOS password containing "!"
31
Can't enter BIOS password containing "!"
19
Prove $|e^{i\theta} -1| \leq |\theta|$
17
What does the notation $f\colon A\to B$ mean?

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.