User Evan Patterson - MathOverflow Meta

Evan Patterson

Member for 10 years, 8 months
Last seen more than a month ago

Stats

171

reputation

0

reached

0

answers

0

questions

Communities

Badges

This user has not earned any badges.

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

7

Comonoid homomorphisms in the bicategory of profunctors

6

Inference in typed lambda calculus theories