Ichiro Ogata

According to our database, Ichiro Ogata authored at least 5 papers between 1985 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2002

A Proof Theoretical Account of Continuation Passing Style.

Ichiro Ogata

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2000

Constructive Classical Logic as CPS-Calculus.

Ichiro Ogata

Int. J. Found. Comput. Sci., 2000

1999

A CPS-Transform of Constructive Classical Logic.

Ichiro Ogata

Proceedings of the Advances in Computing Science, 1999

1998

Cut Elimination for Classical Proofs as Continuation Passing Style Computation.

Ichiro Ogata

Proceedings of the Advances in Computing Science, 1998

1985

Diagrammatic function description of microprocessor and data-flow processor.

Gotaro Odawara, Masahiro Tomita, Ichiro Ogata

Proceedings of the 22nd ACM/IEEE conference on Design automation, 1985