类型栖息-一流百科

类型栖息

类型栖息在类型理论（数理逻辑的一个分支）中，在一个给定的类型微积分中，这个微积分的类型栖息问题是如下问题：给定一个类型与逻辑的关系在简单类型的λ微积...