Girard's paradox shows that allowing certain type-forming operations can lead to inconsistency in some type systems.
ジラールが指摘した逆説は、特定の型生成操作を許すといくつかの型システムで矛盾が生じることを示しています。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
