Theoretical Computer Science
Profile Activity
Meta user
Network profile
450
reputation
2
10

Mike Shulman

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

2
answers
4
questions
~920
people reached

Communities (18)

Top network posts

Top tags (11)

Score 5
Posts 1
Posts % 17
Score 5
Posts 1
Score 2
Posts 4
Score 2
Posts 2
Score 2
Posts 2
Score 0
Posts 2
View all tags →

Top posts (6)

All Questions Answers
Votes Newest
11 Representing bound variables with a function from uses to binders Sep 6 '18
5 Semantic read-back of sharing graphs Oct 3 '19
5 Does focused proof search ever have to backtrack across the choice of focus formula? Aug 8
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 '19
2 A stronger multiplexing rule for soft linear logic? Jun 13 '18

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →