Computer Science
Rodolphe Lepigre
  • Member for 3 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
794
reputation
5k
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
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
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.