本文に飛ぶ
国立国会図書館サーチ（NDL SEARCH）
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年（西暦）
項目を閉じる
年
〜
年
開く
1990年代
(5)
2000年代
(3)
2010年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
（8）
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
（1）
紙
（8）
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 9 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年：古い順
出版年：新しい順
タイトル：昇順
タイトル：降順
著者：昇順
著者：降順
請求記号順
タイトルでまとめる
一括お気に入り
カテゴリカル・リダクション
カテゴリカル・リダクション
紙
図書
長谷川立, 東京大学 [著]
[長谷川立]
2003-2004
<Y151-H15500003>
国立国会図書館
件名
カテゴリカルセマンティクス / 線形論理 / 正規性 /
ラムダ計算
チャーチの
ラムダ計算
のBCK論理による再生
チャーチのラムダ計算のBCK論理による再生
紙
図書
古森雄一, 千葉大学 [著]
[古森雄一]
2003-2006
<Y151-H15540107>
国立国会図書館
件名
数理論理学 /
ラムダ計算
/ 集合論 / P=NP問題 / BCK論理 / 古典論理...
双対性に基づくプログラム変換に関する研究
双対性に基づくプログラム変換に関する研究
紙
図書
藤田憲悦, 群馬大学 [著]
[藤田憲悦]
2005-2006
<Y151-H17500004>
国立国会図書館
件名
ガロア対応・埋め込み / 多相型 / 抽象データ型 / CPS変換 / 継続 /
ラムダ計算
/ 証明双対性 / 簡約対応
構成的論理の推論構造の研究
構成的論理の推論構造の研究
紙
図書
廣川, 左千男, 九州大学
1995-1997
<Y151-H07680364>
国立国会図書館
件名
ラムダ計算
型理論 適切さの論理 古典論理
型理論の証明論ならびに計算論的研究
型理論の証明論ならびに計算論的研究
紙
図書
寳来, 正子, 東京工業大学
1997-1999
<Y151-H09640248>
国立国会図書館
件名
型理論 証明論 高階理論
ラムダ計算
原始帰納法 自由代数
部分構造論理の研究
部分構造論理の研究
紙
図書
古森, 雄一, 千葉大学
1998-1999
<Y151-H10640103>
国立国会図書館
件名
部分構造論理 古典論理 直観主義論理 BCK論理
ラムダ計算
型理論
算術と計算の論理構造に関する研究
算術と計算の論理構造に関する研究
紙
図書
田中, 一之, 東北大学
1997-1999
<Y151-H09440072>
国立国会図書館
件名
論理構造 計算論 型理論 形式算術 2階算術 逆数学 限定算術
ラムダ計算
構成的論理の推論構造の研究
構成的論理の推論構造の研究
紙
図書
廣川, 佐千男, 九州大学
1993-1994
<Y151-H05680276>
国立国会図書館
件名
構成的論理
ラムダ計算
型理論 直観主義論理 適切さの論理 curry-Hawar...
アルゴリズムの構造を反映する数理モデルの構成と応用
アルゴリズムの構造を反映する数理モデルの構成と応用
デジタル
その他
倉田, 俊彦, KURATA, Toshihiko
2011-05
科学研究費補助金研究成果報告書
p.1-5
全国の図書館
件名
プログラム意味論
ラムダ計算
型理論 層論 領域理論 外延性 高階遂次性 Kripkeモ...
検索結果は以上です。
書誌情報を一括出力
RSS
RSS