Home >

news Help

Publication Information


Title
Japanese: 
English:Programs with continuations and linear logic 
Author
Japanese: 西崎真也.  
English: Shin-ya Nishizaki.  
Language English 
Journal/Book name
Japanese: 
English:Science of Computer Programming 
Volume, Number, Page Vol. 21    No. 2    pp. 165-190
Published date Aug. 1993 
Publisher
Japanese: 
English:Elsevier Science Publisher 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 
DOI https://doi.org/10.1016/0167-6423(93)90005-A
Abstract 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 Tokyo Institute of Technology All rights reserved.