Theoretical Computer Science
Apoorv
Profile Activity
Stats
131
reputation
108
reached
0
answers
1
questions
About

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

Communities (9)

Top network posts

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges

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 '20

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.