Theoretical Computer Science
Profile Activity
Meta user
Network profile
626
reputation
4
6

Marc

I'm very interested in type theory.

3
answers
0
questions
~6k
people reached
  • Lyon, France
  • Member for 10 years, 4 months
  • 102 profile views
  • Last seen Jul 9 '19 at 12:43

Communities (11)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (3)

All Questions Answers
Votes Newest
28 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

Badges (10)

Gold

—

Silver

4

Rarest

Bronze

6

Rarest

View all badges →