Diagrammatic function description of microprocessor and data-flow processor. - Gotaro Odawara; Masahiro Tomita; Ichiro Ogata (DAC, 1985)

Cut Elimination for Classical Proofs as Continuation Passing Style Computation. - Ichiro Ogata (ASIAN, 1998)

A CPS-Transform of Constructive Classical Logic. - Ichiro Ogata (ASIAN, 1999)

Constructive Classical Logic as CPS-Calculus. - Ichiro Ogata (Int. J. Found. Comput. Sci., 2000)

A Proof Theoretical Account of Continuation Passing Style. - Ichiro Ogata (CSL, 2002)