Skip to main content
Theoretical Computer Science
Nick Rioux's user avatar
Nick Rioux's user avatar
Nick Rioux's user avatar
Nick Rioux
  • Member for 10 years, 1 month
  • Last seen more than a week ago
  • Boston, MA, United States
Profile Activity
Stats
225
reputation
500
reached
1
answer
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
8
Score
1
Posts
50
Posts %
8
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
8
Parametricity of Linear Logic
Jun 12, 2018
3
Is there a full abstraction result for an untyped lambda calculus?
Mar 6
Top network posts
View all network posts
57
Use project Javascript and CSS files in a Google Apps Script web app?
16
What is the 'minimum' needed to make an Applicative a Monad?
13
Is having a `(a -> b) -> b` equivalent to having an `a`?