"Some mathematicians are trying to formulate a basis for mathematics in type theory." Are there any papers you could point to that could provide more details o

"Some mathematicians are trying to formulate a basis for mathematics in type theory." Are there any papers you could point to that could provide more details on this project?