Theoretical Computer Science
Lê Thành Dũng Nguyễn's user avatar
Lê Thành Dũng Nguyễn's user avatar
Lê Thành Dũng Nguyễn's user avatar
Lê Thành Dũng Nguyễn
  • Member for 1 year
  • Last seen more than a week ago
Profile Activity
Stats
720
reputation
5k
reached
9
answers
2
questions
Communities
View all
About

Linear logician turned automata theorist.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
17
bronze badges
Top tags
View all tags
21
Score
5
Posts
45
Posts %
16
Score
4
Posts
36
Posts %
15
Score
2
Posts
18
Posts %
14
Score
4
Posts
36
Posts %
12
Score
4
Posts
36
Posts %
10
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
10
True origin story of linear logic?
Nov 10, 2022
answer
10
What's the expressive power of Simply Typed Lambda calculus?
Nov 2, 2022
answer
7
Composition with recursion in functions between types
Nov 5, 2022
question
5
Complexity of convertibility in simply typed λ-calculus with sums
Nov 8, 2022
answer
5
Can typed lambda calculi express *all* algorithms below a given complexity?
Nov 2, 2022
answer
5
Notion of "quotient" or "inverse" for recognizable tree languages?
Nov 3, 2022
answer
4
Equivalence of deterministic finite transducers over finite/infinite words
Nov 3, 2022
answer
4
A super-linear time problem in NL
Nov 4, 2022
answer
3
Regular languages in lambda calculus
Nov 3, 2022
answer
3
reference request: deciding validity of higher-order quantified boolean formulas is not Kalmar-elementary
Nov 4, 2022
Top network posts
View all network posts
14
Infinite family of finite groups without surjections
6
Characterization of sums of periodic functions over the real line

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.