プログラム理論 A Type-Free Context Calculus
スポンサーリンク
概要
- 論文の詳細を見る
This paper develops a type free context calculus λxc. The calculus λxc includes contexts as first-class values and hole-filling as an explicit operation. In λxc, holes are represented by ordinary variables and hole-filling is represented by the usual application together with a new abstraction mechanism which represents the variables intended to be bound after filling in the hole. We show that this calculus has desirable properties such as confluence, conservativity over λβ calculus and has the preservation of strong normalization(PSN)property.
- 社団法人情報処理学会の論文
- 2001-01-15
著者
-
佐藤 雅彦
京都大学大学院情報学研究科
-
TAHA AZZA
Graduate School of Informatics, Kyoto University
-
SATO MASAHIKO
Graduate School of Informatics, Kyoto University
-
KAMEYAMA YUKIYOSHI
Graduate School of Informatics, Kyoto University
-
佐藤 雅彦
Department Of Information Science Faculty Of Science University Of Tokyo
-
Kameyama Yukiyoshi
Graduate School Of Informatics Kyoto University
-
Taha Azza
Graduate School Of Informatics Kyoto University
-
Sato Masahiko
Graduate School Department Of Mathematics Kyoto University
-
Sato Masahiko
Department Of Information Science Kyoto University
関連論文
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)
- フレーゲの計算機科学への影響 (特集 フレーゲの現代性)
- 数学記号の認知速度 : 実験心理学的計測方法と実例
- Polyvariant Specializationon Type-directed Partial Evaluation
- Constructive Data Refinementの証明技法の改善
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 型情報を一部明示した環境計算体系
- A Second Order Typed Context Calculus
- 型付きλ計算の拡張によるMobile計算の定式化
- オメガ正規言語の測度が有理数であること
- プログラム理論 A Type-Free Context Calculus
- 適切さの論理を用いた帰納論理プログラミング
- 発見科学の構想と展開(発見科学)
- 参照透明な代入を持つ純関数型言語
- 自己反映的証明体系RPTの理論と実現
- ソフトウェア科学会第3回大会
- 17aRA-6 非線形抵抗性壁モードのモデリング
- 構成的理論に基づいたプログラミング言語Zとその実装
- 22pXG-13 負磁気シアートカマクにおける非線形ダブルテアリングモード
- 情報学科シンポジウム
- A Formal Theory of Symbolic Expressions(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Algebraic Structure of Symbolic Expressions (Mathematical Studies of Information Processing)
- ニセ金発見パズルについて (計算機によるパズル・ゲームの研究)
- On Formal Fractions Associated with the Symmetric Groups (組合せ構造とグラフ理論)
- 2個の生成元を持つFree IN-Algebra及びFree ICN-Algebraの決定 (数理論理とモデル理論)
- Lゲームの計算機による分類 (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
- Nonlinear Double Tearing Mode in Negative Shear Cylindrical Tokamaks
- Classical Brouwer-Heyting-Kolmogorov interpretation
- A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems)
- On the Periods of Certain Pseudorandom Sequences
- ACUTE MYOCARDIAL INFARCTION IN FUKUSHIMA AREA OF JAPAN
- Nonlinear Double Tearing Mode in Negative Shear Cylindrical Tokamaks