等式型
#Fleeting_Notes
等式型(
identity type
)
Martin-Löf型理論
の等式型について
$ x =_A y
確認用
Q. 等式型
調査用
Google.icon
等式型(日)
Google.icon
Identity type(英)
Wikipedia.icon
等式型 - Wikipedia(日)
等式型(検索) - Wikipedia(日)
Wikipedia.icon
Identity type - Wikipedia(英)
Identity type(検索) - Wikipedia(英)