Home >

news ヘルプ

論文・著書情報


タイトル
和文: 
英文:Programs with continuations and linear logic 
著者
和文: 西崎真也.  
英文: Shin-ya Nishizaki.  
言語 English 
掲載誌/書名
和文: 
英文:Science of Computer Programming 
巻, 号, ページ Vol. 21    No. 2    pp. 165-190
出版年月 1993年8月 
出版者
和文: 
英文:Elsevier Science Publisher 
会議名称
和文: 
英文: 
開催地
和文: 
英文: 
DOI https://doi.org/10.1016/0167-6423(93)90005-A
アブストラクト The purpose of this paper is to investigate the programs with continuations in the framework of classical linear logic which can also be regarded as improvement of traditional classical logic. First, simply typed λ-calculus λ→c with continuation primitives is introduced. Second, a translation from λ→c to linear logic is given. Last, a correspondence between them is presented.

©2007 Institute of Science Tokyo All rights reserved.