Theoretical Computer Science
xavierm02's user avatar
xavierm02's user avatar
xavierm02's user avatar
xavierm02
  • Member for 9 years, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
556
reputation
3k
reached
10
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
15
Score
3
Posts
23
Posts %
13
Score
5
Posts
38
Posts %
11
Score
1
Posts
8
Posts %
11
Score
1
Posts
8
Posts %
6
Score
4
Posts
31
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, 2022
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
663
How can I remove a specific item from an array in JavaScript?
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.