純粋型システム
#Fleeting_Notes
純粋型システム(Pure Type System; PTS)
定義
純粋型システム(pure type system) を、以下から成る組とする。
$ \langle \mathcal{S}, \mathcal{A}, \mathcal{R} \rangle
確認用
Q. 純粋型システム
メモ
純粋型システムとλキューブ - liewecmays
調査用
Google.icon
純粋型システム(日)
Google.icon
Pure type system(英)
Wikipedia.icon
純粋型システム - Wikipedia(日)
純粋型システム(検索) - Wikipedia(日)
Wikipedia.icon
Pure type system - Wikipedia(英)
Pure type system(検索) - Wikipedia(英)