Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.
Theoretical Computer Science
Meta user
Network profile
388
reputation
1
10

Mike Shulman

I am an assistant professor of mathematics at the University of San Diego. My research is in homotopy type theory and higher category theory.

2
answers
3
questions
~687
people reached

Communities (18)

Top network posts

Top tags (9)

Score 5
Posts 1
Posts % 20
Score 5
Posts 1
Score 2
Posts 3
Score 2
Posts 2
Score 2
Posts 2
Score 0
Posts 2
View all tags →

Top posts (5) All Questions Answers | Votes Newest

11 Representing bound variables with a function from uses to binders Sep 6 '18
5 A stronger multiplexing rule for soft linear logic? Jun 12 '18
5 Obtaining the Axiom of Choice through a modality in HTT Sep 26
4 Semantic read-back of sharing graphs Oct 3
2 A stronger multiplexing rule for soft linear logic? Jun 13 '18

Badges (11)

Gold

—

Silver

1

Rarest

Bronze

10

Rarest

View all badges →