Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03022269n
Noun Concept
Categories: 形式手法, ラムダ計算, 数学に関する記事, 型理論, 計算理論
JA
型付きラムダ計算  単純型付きラムダ計算  型付きラムダ計算論理
JA
型付きラムダ計算（かたつきラムダけいさん、英: typed lambda calculus）とは、無名の関数の抽象表現にラムダ というシンボルを用いる型付き形式手法である。 Wikipedia
Definitions
Relations
Sources
JA
型付きラムダ計算（かたつきラムダけいさん、英: typed lambda calculus）とは、無名の関数の抽象表現にラムダ というシンボルを用いる型付き形式手法である。 Wikipedia
IS A
ラムダ計算
PART OF
ラムダ・キューブ
HAS KIND
EN
pure type system
HAS INSTANCE
EN
simply typed lambda calculus
System F
Wikipedia
JA
型付きラムダ計算
Wikidata
JA
型付きラムダ計算
Wikipedia Redirections
JA
単純型付きラムダ計算, 型付きラムダ計算論理
Wikidata Alias
JA
単純型付きラムダ計算, 型付きラムダ計算論理
Wikipedia Translations
JA
型付きラムダ計算

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License