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
794
reputation
6k
reached
15
answers
0
questions
Communities
View all
About

Postdoctoral researcher at Inria.

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
10
bronze badges
Top tags
View all tags
31
Score
7
Posts
47
Posts %
22
Score
6
Posts
40
Posts %
12
Score
2
Posts
13
Posts %
11
Score
3
Posts
20
Posts %
11
Score
2
Posts
13
Posts %
7
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
7
What does the leading turnstile operator mean?
Sep 17, 2018
answer
6
How should I describe the relationships between type expressions?
May 21, 2018
answer
6
Understanding the Reasoning Behind These Typing Rules
Jun 4, 2018
answer
6
In Hindley-Milner system, how can I prove that let id=\x.x in id id is well-typed?
Jun 9, 2018
answer
6
What is the name of the operator that translates from $X\rightarrow(Y\rightarrow Z)$ to $Y\rightarrow(X\rightarrow Z)$?
Jul 27, 2019
answer
5
Meaning of the notation Typ := TVar | (Typ → Typ)
May 3, 2018
answer
5
Assertion of Type Inference Rules/Type Checking
May 24, 2018
answer
4
Term rewrite system for terms of lambda calculus?
May 4, 2018
answer
3
Application of lambda function in Simply Typed Lambda Calculus
May 22, 2018
answer
3
Proving Progress for STLC with Linear and Unrestricted Types
Jul 20, 2018
Top network posts
View all network posts
5
What makes a language (and its type-system) capable of proving theorems about its own terms?
5
Representing bound variables with a function from uses to binders

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.