You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I’m Raymond Baker. I have a focus in homotopy type theory and the univalent foundations of mathematics, higher category theory, and functional programming.
For contact information or more details about my interests, please see my website.