Ask Ubuntu
Marc's user avatar
Marc's user avatar
Marc's user avatar
Marc
  • Member for 11 years, 6 months
  • Last seen more than 4 years ago
  • Lyon, France
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

I'm very interested in type theory.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
30
Shallow versus Deep Embeddings
14
Forall introduction in coq?
12
Translation from basic While-language to $\lambda$-calculus
8
In System F à la Church, can we automatize type inference for the for-all elimination?
7
Pattern matching not specialising types