Pages that link to Machine Translation and Type Theory