λ2

λ2

型理論Fの別称。

Last modified:2006/08/15 19:20:43
Keyword(s):
References:[型理論F]