Skip to main content
Theoretical Computer Science
Li-yao Xia's user avatar
Li-yao Xia's user avatar
Li-yao Xia's user avatar
Li-yao Xia
  • Member for 4 years, 7 months
  • Last seen this week
Profile Activity
Stats
301
reputation
1k
reached
7
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Top tags
View all tags
9
Score
5
Posts
71
Posts %
8
Score
4
Posts
57
Posts %
6
Score
3
Posts
43
Posts %
5
Score
2
Posts
29
Posts %
5
Score
1
Posts
14
Posts %
5
Score
1
Posts
14
Posts %
Top posts
5
What are the computations model with a constant slowdown ? (and why do we care about Turing machines)
Jul 14
3
Nondeterministic Turing Machines as deciders, versus NP and co-NP
Feb 20
3
Can we use relational parametricity to simplify the type $\forall a. ( (a \to a) \to a ) \to a$?
Apr 11
3
How to prove that $\exists A. ~ A \times (A\to F~ A)$ encodes the greatest fixpoint of $F$?
Jun 3
2
Can parametricity be applied to show a property of function values?
Jun 26
1
Composition with recursion in functions between types
Nov 12, 2022
0
Can we use relational parametricity to simplify the type $\forall a.\,((a\to r)\to a)\to a$ and similar types?
Apr 5
Top network posts
View all network posts
24
Polymorphism inside monads
23
Why do nested MaybeT's cause exponential allocation
20
Stack's package.yaml vs stack.yaml
18
How to Factorize Continuation Monad into Left & Right Adjoints?
18
What is the connection between laziness and purity?