Skip to main content
MathOverflow
user171318's user avatar
user171318's user avatar
user171318's user avatar
user171318
  • Member for 7 years, 10 months
  • Last seen more than 6 years ago
Profile Activity

5 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Enthusiast
awarded
 Excavator
awarded
 Editor
revised
Upper bound on ranks of well-founded trees in $SKI\Omega$ calculus
Corrected a mistake in the definition of rank, also some grammar fixes
suggested
Approve
Upper bound on ranks of well-founded trees in $SKI\Omega$ calculus