J Hua

I am a mathematician interested in type theory and logic.