帰納的データ型
#Fleeting_Notes
帰納的データ型(Inductive data Type)
構成子
解体子
確認用
Q. 帰納的データ型
参考
『［2021CAPE公開セミナー］ 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン・レーフの構成的型理論」』
調査用
/pogi-log/Google.icon
帰納的データ型(日)
/pogi-log/Google.icon
Inductive data Type(英)
/pogi-log/Wikipedia.icon
帰納的データ型 - Wikipedia(日)
帰納的データ型(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Inductive data Type - Wikipedia(英)
Inductive data Type(検索) - Wikipedia(英)