Search results for "ラムダ計算" | NDL Search

Search results 9

Group by title

カテゴリカル・リダクション

Paper図書

長谷川立, 東京大学 [著][長谷川立]2003-2004<Y151-H15500003>

National Diet Library

Subject Headingカテゴリカルセマンティクス / 線形論理 / 正規性 / ラムダ計算

チャーチのラムダ計算のBCK論理による再生

Paper図書

古森雄一, 千葉大学 [著][古森雄一]2003-2006<Y151-H15540107>

National Diet Library

Subject Heading数理論理学 / ラムダ計算 / 集合論 / P=NP問題 / BCK論理 / 古典論理...

双対性に基づくプログラム変換に関する研究

Paper図書

藤田憲悦, 群馬大学 [著][藤田憲悦]2005-2006<Y151-H17500004>

National Diet Library

Subject Headingガロア対応・埋め込み / 多相型 / 抽象データ型 / CPS変換 / 継続 / ラムダ計算 / 証明双対性 / 簡約対応

構成的論理の推論構造の研究

Paper図書

廣川, 左千男, 九州大学1995-1997<Y151-H07680364>

National Diet Library

Subject Headingラムダ計算型理論適切さの論理古典論理

型理論の証明論ならびに計算論的研究

Paper図書

寳来, 正子, 東京工業大学1997-1999<Y151-H09640248>

National Diet Library

Subject Heading型理論証明論高階理論ラムダ計算原始帰納法自由代数

部分構造論理の研究

Paper図書

古森, 雄一, 千葉大学1998-1999<Y151-H10640103>

National Diet Library

Subject Heading部分構造論理古典論理直観主義論理 BCK論理ラムダ計算型理論

算術と計算の論理構造に関する研究

Paper図書

田中, 一之, 東北大学1997-1999<Y151-H09440072>

National Diet Library

Subject Heading論理構造計算論型理論形式算術 2階算術逆数学限定算術ラムダ計算

構成的論理の推論構造の研究

Paper図書

廣川, 佐千男, 九州大学1993-1994<Y151-H05680276>

National Diet Library

Subject Heading構成的論理ラムダ計算型理論直観主義論理適切さの論理 curry-Hawar...

アルゴリズムの構造を反映する数理モデルの構成と応用

Digital文書・図像類

倉田, 俊彦, KURATA, Toshihiko2011-05科学研究費補助金研究成果報告書p.1-5

Other Libraries in Japan

Subject Headingプログラム意味論ラムダ計算型理論層論領域理論外延性高階遂次性 Kripkeモ...

Reached to the end of result.

RSS