2002 | ||
---|---|---|
2 | EE | Charles A. Stewart: Reducibility between Classes of Port Graph Grammar. J. Comput. Syst. Sci. 65(2): 169-223 (2002) |
1997 | ||
1 | EE | C.-H. Luke Ong, Charles A. Stewart: A Curry-Howard Foundation for Functional Computation with Control. POPL 1997: 215-227 |
1 | C.-H. Luke Ong | [1] |