型理論F

型理論F

Giraldによって構成された型理論

λ-cube?ではλ2と呼ばれる

Curry-Howard の同型対応?によって、2階命題論理?に対応する。

Last modified:2006/08/20 03:35:07
Keyword(s):
References:[λ2] [型理論] [F]