History of type theory (Chinese). Contribute to Trebor-Huang/history development by creating an account on GitHub.