There is no accessible paper on type theory. I'm partially responsible, I've written three papers.