Computer Science
Meta user
Network profile
700
reputation
3
10

Rodolphe Lepigre

Postdoctoral researcher at Inria.

13
answers
0
questions
~4k
people reached

Communities (9)

Top network posts

Top tags (14)

Score 30
Posts 6
Posts % 46
Score 15
Posts 5
Score 11
Posts 2
Score 11
Posts 2
Score 9
Posts 2
Score 7
Posts 1
View all tags →

Top posts (13) All Questions Answers | Votes Newest

7 What does the leading turnstile operator mean? Sep 17 '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 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
2 What are the concequences of the unit type and the unit value being the same? Jul 14 '18
View all questions and answers →

Badges (13)

Gold

—

Silver

3

Rarest

Bronze

10

Rarest

View all badges →