Skip to main content
MathOverflow
Yufei Cai's user avatar
Yufei Cai's user avatar
Yufei Cai's user avatar
Yufei Cai
  • Member for 8 years, 5 months
  • Last seen more than 8 years ago
Profile Activity
Stats
1
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
9
Denotational semantics of System $F_\omega$ with recursive types and general recursion
8
Decidability of equality between higher-kinded equirecursive types (or: between nonregular Böhm trees)