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
~107
people reached
  • Iowa City, IA, USA
  • fxdpntthm
  • apoorvingle
  • Member for 4 years, 5 months
  • 25 profile views
  • Last seen Dec 8 '20 at 5:33

Communities (9)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (1)

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

Badges (7)

Gold

—

Silver

—

Bronze

7

Rarest