 | 2002 |
|---|
| 5 |       | Ichiro Ogata:
A Proof Theoretical Account of Continuation Passing Style.
CSL 2002: 490-505 |
| 2000 |
|---|
| 4 |  | Ichiro Ogata:
Constructive Classical Logic as CPS-Calculus.
Int. J. Found. Comput. Sci. 11(1): 89-112 (2000) |
| 1999 |
|---|
| 3 | | Ichiro Ogata:
A CPS-Transform of Constructive Classical Logic.
ASIAN 1999: 266-280 |
| 1998 |
|---|
| 2 | | Ichiro Ogata:
Cut Elimination for Classical Proofs as Continuation Passing Style Computation.
ASIAN 1998: 61-78 |
| 1985 |
|---|
| 1 | | Gotaro Odawara,
Masahiro Tomita,
Ichiro Ogata:
Diagrammatic function description of microprocessor and data-flow processor.
DAC 1985: 731-734 |
