Theoretical Computer Science
Rodolphe Lepigre's user avatar
Rodolphe Lepigre's user avatar
Rodolphe Lepigre's user avatar
Rodolphe Lepigre
  • Member for 5 years, 7 months
  • Last seen more than 1 year ago
Profile Activity
Stats
321
reputation
2k
reached
5
answers
0
questions
Communities
View all
About

Postdoctoral researcher at Inria.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
8
bronze badges
Top tags
View all tags
13
Score
3
Posts
60
Posts %
9
Score
2
Posts
40
Posts %
9
Score
2
Posts
40
Posts %
8
Score
2
Posts
40
Posts %
5
Score
1
Posts
20
Posts %
5
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
answer
5
What makes a language (and its type-system) capable of proving theorems about its own terms?
May 24, 2018
answer
5
Representing bound variables with a function from uses to binders
Sep 12, 2018
answer
4
Is it reasonable to allow the type of a λ/∀-bound variable to refer to itself?
Sep 30, 2018
answer
4
Termination checking for Scott-encodings in System F with positive-recursive types
May 7, 2019
answer
4
Avoiding Cycles with Unification and Subtyping
May 22, 2018
Top network posts
View all network posts
8
What does the leading turnstile operator mean?
6
How should I describe the relationships between type expressions?
6
Understanding the Reasoning Behind These Typing Rules
6
In Hindley-Milner system, how can I prove that let id=\x.x in id id is well-typed?
6
What is the name of the operator that translates from $X\rightarrow(Y\rightarrow Z)$ to $Y\rightarrow(X\rightarrow Z)$?

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.