Theoretical Computer Science
Profile Activity
Network profile
131
reputation
7

Apoorv

Graduate Student interested in Programming languages, type systems, mathematical logic and a bit of philosophy

0
answers
1
question
~105
people reached
  • Iowa City, IA, USA
  • fxdpntthm
  • apoorvingle
  • Member for 4 years, 2 months
  • 24 profile views
  • Last seen Sep 15 at 19:49

Communities (9)

Top network posts

Top tags (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

All Questions Answers
Votes Newest
2 Equational Theories for Type Systems Jan 15

Badges (7)

Gold

—

Silver

—

Bronze

7

Rarest