主类型-一流百科

主类型

什么是主类型在类型理论中，如果给定一个术语和一个环境，这个术语在这个环境中存在一个主类型，也就是一个类型，使得这个术语在这个环境中的所有其他类型都...