Skip to main content
Theoretical Computer Science
Marc's user avatar
Marc's user avatar
Marc's user avatar
Marc
  • Member for 14 years, 3 months
  • Last seen more than 14 years ago
  • Lyon, France
Profile Activity
Stats
646
reputation
0
reached
0
answers
0
questions
Communities
View all
About

I'm very interested in type theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
1
bronze badge
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