Skip to main content
Theoretical Computer Science
xrq's user avatar
xrq's user avatar
xrq's user avatar
xrq
  • Member for 7 years, 4 months
  • Last seen more than a month ago
  • Japan
Profile Activity
Stats
1,195
reputation
32k
reached
15
answers
9
questions
Communities
View all
About

Mathematician and theoretical computer scientist in training.

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
17
bronze badges
Top tags
View all tags
21
Score
10
Posts
42
Posts %
13
Score
5
Posts
21
Posts %
10
Score
3
Posts
12
Posts %
8
Score
4
Posts
17
Posts %
8
Score
2
Posts
8
Posts %
6
Score
3
Posts
12
Posts %
Top posts
View all questions and answers
question
17
List of (unsolved) complexity problems arising from PL
Feb 26, 2018
question
12
Applications of algebraic geometry in type theory/programming language theory
May 16, 2019
question
9
Results in denotational semantics from model theory?
Nov 22, 2018
question
8
Does the Hindley-Milner type system (i.e. STLC with prenex polymorphism) have a category-theoretic model?
Jul 25, 2020
answer
8
Formal semantics of tactics
Oct 24, 2018
question
7
"Interesting" categories whose internal logic is a dependent-linear type theory
Jan 25, 2021
question
7
Where do people publish/submit their work on type theory?
Jan 27, 2019
question
6
Formal semantics of tactics
Oct 24, 2018
answer
5
programming language with type-level functions
Feb 26, 2018
answer
5
Most memorable CS paper titles
Dec 4, 2018
Top network posts
View all network posts
139
How can I convince graduate students in China to not copy/paste from the Internet into their research papers?
87
Why is PhD GPA considered irrelevant?
60
How does the taxi scam work at Luohu station in Shenzhen?
48
Do many Japanese people speak Korean?
45
Do any programming languages use general recursive functions as their basis?