链接到机器翻译和类型理论的页面

找不到反向链接。

这里有什么链接

找不到反向链接。