@techreport{oai:ipsj.ixsq.nii.ac.jp:00030769,
 author = {西崎, 真也 and Shin-Ya, Nishizaki},
 issue = {32(1991-PRO-001)},
 month = {Apr},
 note = {線形論理の枠組のもとで継続つきプログラムについて考察した。継続つきプログラミング言語から線形論理への変換を定義し、継続プリィミティブ　call/cc　が証明ネットで記述でき、線形論理が継続つきのプログラムを記述する能力があることを示した。継続つきプログラムの特徴として、計算結果が評価戦略に依存することがあるが、この変換は評価戦略に関する情報を付加する。, The program with continuation is studied under the framework of linear logic. The transformation from programming language with continuation to linear logic is defined, and we show that program with continuation can be described by linear logic. It is the most remarkable feature of program with continuation that the result of a program with continuation is dependent on a evaluation strategy. This transrormation add the information of evaluation strategy to the program.},
 title = {継続つきプログラミング言語と線形論理},
 year = {1991}
}