bn:03793476n
Noun Concept
Categories: 型理論, ラムダ計算
JA
ラムダ・キューブ
JA
型理論において、ラムダ・キューブ とは、8つの異なる型付きラムダ計算の関係を表した図である。 Wikipedia
Definitions
Relations
Sources
JA
型理論において、ラムダ・キューブ とは、8つの異なる型付きラムダ計算の関係を表した図である。 Wikipedia