I need to get all the papers on Type Theory for a search engine

I am wondering how I can get a reduce download from torrent or ipfs for a topic ?