Ichiro Ogata

Publication Activity (10 Years)

Years Active: 1985-2002
Publications (10 Years): 0

Publications

Ichiro Ogata
A Proof Theoretical Account of Continuation Passing Style. CSL (2002)
Ichiro Ogata
Constructive Classical Logic as CPS-Calculus. Int. J. Found. Comput. Sci. 11 (1) (2000)
Ichiro Ogata
A CPS-Transform of Constructive Classical Logic. ASIAN (1999)
Ichiro Ogata
Cut Elimination for Classical Proofs as Continuation Passing Style Computation. ASIAN (1998)
Gotaro Odawara, Masahiro Tomita, Ichiro Ogata
Diagrammatic function description of microprocessor and data-flow processor. DAC (1985)