Graphical Presentations of Interactive Systems

[1]  真人 長谷川.  Models of sharing graphs : a categorical semantics of let and letrec , 1999 .

[2]  Ross Street,et al.  Traced monoidal categories , 1996 .

[3]  Philippa Gardner,et al.  Types and Models for Higher-Order Action Calculi , 1997, TACS.

[4]  Yves Lafont.  Interaction Combinators , 1997, Inf. Comput..

[5]  Robin Milner,et al.  Control structures , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[6]  P. Aczel.  Frege Structures and the Notions of Proposition, Truth and Set* , 1980 .

[7]  Ian Mackie,et al.  Coinductive techniques for operational equivalence of interaction nets , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[8]  Philippa Gardner.  Closed Action Calculi , 1999, Theor. Comput. Sci..

[9]  Robin Milner,et al.  Calculi for interaction , 1996, Acta Informatica.

[10]  Zena M. Ariola,et al.  Cyclic lambda graph rewriting , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.