Computer Science
Profile Activity
Meta user
Network profile
794
reputation
4
10

Rodolphe Lepigre

Postdoctoral researcher at Inria.

15
answers
0
questions
~5k
people reached

Communities (9)

Top network posts

Top tags (17)

Score 31
Posts 7
Posts % 47
Score 22
Posts 6
Score 12
Posts 2
Score 11
Posts 3
Score 11
Posts 2
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 '19
6 In Hindley-Milner system, how can I prove that let id=\x.x in id id is well-typed? Jun 9 '18
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 Assertion of Type Inference Rules/Type Checking May 24 '18
5 Meaning of the notation Typ := TVar | (Typ → Typ) May 3 '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 (14)

Gold

—

Silver

4

Rarest

Bronze

10

Rarest

View all badges →