型の等しさ
#Fleeting_Notes
型の等しさ(type equality)
同じ型であれば等しい
単純型というものがある
型同士を比較した時に、型内の要素を数が等しく、各要素が等しいならば、型同士は等しい
確認用
Q. 型の等しさ
関連
「同じ」にかかわる言葉
カリー＝ハワード対応
Types as Sets
Sets as Types
データ型
メモ
型の等しさ · Issue #274 · lean-ja/lean-by-example
equality in nLab
Type Equality
Maths - Type Equality - Martin Baker
set theory versus dependent type theory in nLab
typal equality in nLab
調査用
Google.icon
型の等しさ(日)
Google.icon
Type equality(英)
Wikipedia.icon
型の等しさ - Wikipedia(日)
型の等しさ(検索) - Wikipedia(日)
Wikipedia.icon
Type equality - Wikipedia(英)
Type equality(検索) - Wikipedia(英)