F.R. (Fernando) Chu Rivera
Promovendus
My main research interest is category theory and (homotopy) type theory. My current research revolves around directed type theory.
Links