Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
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 →