Theoretical Computer Science
xavierm02's user avatar
xavierm02's user avatar
xavierm02's user avatar
xavierm02
  • Member for 8 years, 3 months
  • Last seen this week
Profile Activity
Stats
521
reputation
3k
reached
9
answers
3
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
13
Score
5
Posts
42
Posts %
13
Score
2
Posts
17
Posts %
11
Score
1
Posts
8
Posts %
11
Score
1
Posts
8
Posts %
6
Score
4
Posts
33
Posts %
4
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
11
Philosophy behind monotonicity requirement for inductive types
Jan 29, 2018
question
7
Are the non-lazy / non-weak semantics of the $\lambda$-calculus related to weak evaluation?
Nov 9, 2021
answer
6
Krivine's notation for lambda-terms
Aug 24, 2017
question
5
Applications of solvability in the λ-calculus
Oct 12, 2020
answer
4
If machine learning techniques keep improving, what's the role of algorithmics in the future?
May 12, 2017
answer
4
Determining how n-tuples are sorted as you search them?
May 9, 2019
answer
3
Necessary and sufficient number of comparisons by every element to fully sort a set of n elements?
May 16, 2017
question
3
Call-by-value solvability
Apr 1
answer
2
Does a given regular language contain an infinite prefix-free subset?
Jan 8, 2019
answer
2
Definitional equality of recursive function definition by "infinite unfolding"
Feb 13, 2019
Top network posts
View all network posts
620
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|$
18
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.