Theoretical Computer Science
Profile Activity
Meta user
Network profile
460
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
~955
people reached

Communities (18)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (6)

All Questions Answers
Votes Newest
11 Representing bound variables with a function from uses to binders Sep 6 '18
6 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
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 '20
2 A stronger multiplexing rule for soft linear logic? Jun 13 '18

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →