We changed our privacy policy. Read more.
Theoretical Computer Science
Marc
  • Lyon, France
  • Member for 11 years
Profile Activity
Stats
636
reputation
6k
reached
3
answers
0
questions
About

I'm very interested in type theory.

Communities (11)

Top network posts

This user doesn’t have any gold badges yet.
4
silver badges
6
bronze badges
View all badges

Top tags (8)

Score 29
Posts 1
Posts % 33
Score 29
Posts 1
Score 29
Posts 1
Score 12
Posts 1
Score 12
Posts 1
Score 8
Posts 1
View all tags →

Top posts (3)

All Questions Answers
Votes Newest
29 Shallow versus Deep Embeddings Sep 16 '10
12 Translation from basic While-language to $\lambda$-calculus May 19 '11
8 In System F à la Church, can we automatize type inference for the for-all elimination? Sep 16 '10

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.