型理論
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/01 16:02 UTC 版)
型理論(かたりろん、英: Type theory)とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムのことを型理論と呼ぶこともある。集合論の代替となる数学の基礎として役立てられる型理論(型システム)も存在する。そのような例としてアロンゾ・チャーチの型付きラムダ計算やマルティン・レーフの直観主義型理論が有名である。
- 1 型理論とは
- 2 型理論の概要
- 3 型理論の他分野への影響
- 4 脚注
Weblioに収録されているすべての辞書から型理論を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から型理論を検索
- 型理論のページへのリンク