Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01890058n
Noun Concept
Categories: 計算機科学哲学, 理論計算機科学, 型理論, 数学のエポニム, 証明論
JA
カリー＝ハワード同型対応  カリー・ハワード同型対応  カリー・ハワード対応  カリー＝ハワード同型  カリー＝ハワード対応
JA
カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。 Wikipedia
Definitions
Relations
Sources
JA
カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。 Wikipedia
NAMED AFTER
William Alvin Howard
ハスケル・カリー
Wikipedia
JA
カリー＝ハワード同型対応
Wikidata
JA
カリー＝ハワード同型対応
Wikipedia Redirections
JA
カリー・ハワード同型対応, カリー・ハワード対応, カリー＝ハワード同型, カリー＝ハワード対応
Wikidata Alias
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