Lê Thành Dũng 'Tito' Nguyễn's user avatar
Lê Thành Dũng 'Tito' Nguyễn's user avatar
Lê Thành Dũng 'Tito' Nguyễn's user avatar
Lê Thành Dũng 'Tito' Nguyễn
  • Member for 1 year, 5 months
  • Last seen this week
10 votes

What's the expressive power of Simply Typed Lambda calculus?

7 votes
Accepted

Composition with recursion in functions between types

5 votes

Can typed lambda calculi express *all* algorithms below a given complexity?

5 votes

Notion of "quotient" or "inverse" for recognizable tree languages?

4 votes

Equivalence of deterministic finite transducers over finite/infinite words

4 votes

Is there a full abstraction result for an untyped lambda calculus?

4 votes

A super-linear time problem in NL

3 votes

Regular languages in lambda calculus

3 votes
Accepted

reference request: deciding validity of higher-order quantified boolean formulas is not Kalmar-elementary

3 votes

Nominal Tree Languages i.e. with Binders and Infinite Symbols?

3 votes

Obscure characterizations of the regular languages

2 votes

deciding $\beta$-equality of planar lambda terms