Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
616
reputation
4
6

Marc

I'm very interested in type theory.

3
answers
0
questions
~5k
people reached
  • Lyon, France
  • Member for 8 years, 5 months
  • 101 profile views
  • Last seen Dec 8 '18 at 17:39

Communities (10)

Top Network Posts

Top Tags (8)

Score 27
Posts 1
Posts % 33
Score 27
Posts 1
Score 27
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

27 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 →