小方一郎 (Ichiro Ogata) - マイポータル

基本情報

外部リンク: http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=I74042475

A Proof Theoretical Account of Continuation Passing Style

Springer Lecture Notes in Computer Science CSL '02 LNCS 2471 pp.490-505 2002年
Constructive classical logic AS CPS-calculus

Ichiro Ogata

International Journal of Foundations of Computer Science 11(1) 89-112 2000年
A CPS-transform of constructive classical logic

Ichiro Ogata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1742 266-280 1999年
Cut Elimination for Classical Proofs as Continuation Passing Style Computation

Springer Lecture Notes in Computer Science Asian '98 LNCS 1538 pp.61-78 1998年