Theoretical Computer Science
Meta user
Network profile
203
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.

1
answer
2
questions
~498
people reached
  • San Diego, CA
  • sandiego.edu/~shulman
  • Member for 4 years, 10 months
  • 36 profile views
  • Last seen Aug 14 at 11:44

Communities (18)

Top network posts

Top tags (5)

Score 2
Posts 3
Score 2
Posts 2
Score 2
Posts 2
Score 0
Posts 1
Score 0
Posts 1

Top posts (3) 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
2 A stronger multiplexing rule for soft linear logic? Jun 13 '18

Badges (11)

Gold

—

Silver

1

Rarest

Bronze

10

Rarest

View all badges →