依存和型
#Fleeting_Notes
依存和型(dependent sum type)、シグマ型(Σ-type)、依存対型(dependent pair type)
$ \Sigma_{(x:A)} B(x)
$ \sum_{x:A}B(x)
シグマ型(Σ-types)
依存対型(dependent pair type)
確認用
Q. 依存和型
調査用
Google.icon
依存和型(日)
Google.icon
Dependent sum type(英)
Wikipedia.icon
依存和型 - Wikipedia(日)
依存和型(検索) - Wikipedia(日)
Wikipedia.icon
Dependent sum type - Wikipedia(英)
Dependent sum type(検索) - Wikipedia(英)