Computer Science
Meta user
Network profile
774
reputation
3
10

Rodolphe Lepigre

Postdoctoral researcher at Inria.

15
answers
0
questions
~4k
people reached

Communities (9)

Top network posts

Top tags (17)

Score 30
Posts 7
Posts % 47
Score 21
Posts 6
Score 11
Posts 2
Score 11
Posts 2
Score 9
Posts 3
Score 7
Posts 1
View all tags →

Top posts (15) All Questions Answers | Votes Newest

7 What does the leading turnstile operator mean? Sep 17 '18
6 What is the name of the operator that translates from $X\rightarrow(Y\rightarrow Z)$ to $Y\rightarrow(X\rightarrow Z)$? Jul 27
6 Understanding the Reasoning Behind These Typing Rules Jun 4 '18
6 How should I describe the relationships between type expressions? May 21 '18
5 In Hindley-Milner system, how can I prove that let id=\x.x in id id is well-typed? Jun 9 '18
5 Meaning of the notation Typ := TVar | (Typ → Typ) May 3 '18
4 Assertion of Type Inference Rules/Type Checking May 24 '18
4 Term rewrite system for terms of lambda calculus? May 4 '18
3 Proving Progress for STLC with Linear and Unrestricted Types Jul 20 '18
3 Application of lambda function in Simply Typed Lambda Calculus May 22 '18
View all questions and answers →

Badges (13)

Gold

—

Silver

3

Rarest

Bronze

10

Rarest

View all badges →