Searching for "Interaction Nets." – sorted by Relevance.
189 documents found, showing 1 through 10.
Next 10 →
-
Interactivity on the Nets
- …INTERACTIVITY ON THE NETS SHEIZAF RAFAELI School of Business Administration Hebrew University…
- Cited by 14 (1 self) – Add To MetaCart
-
Operational Equivalence for Interaction Nets
- …Operational Equivalence for Interaction Nets Maribel Fernandez DI-LIENS (CNRS UMR 8548), Ecole…
- Cited by 6 (3 self) – Add To MetaCart
-
Partial evaluation of interaction nets
- … of Interaction Nets. Denis Bechet* * Laboratoire d'Informatique de l' Ecole Normale Superieure 75230 PARIS…
- Cited by 5 (1 self) – Add To MetaCart
-
A Calculus for Interaction Nets
- …A Calculus for Interaction Nets Maribel Fern'andez 1 and Ian Mackie 2 1 LIENS (CNRS UMR 8548…
- Cited by 5 (4 self) – Add To MetaCart
-
Combinators For Interaction Nets
- … Workshop on Theory and Formal Methods, Imperial College Press, 1995. COMBINATORS FOR INTERACTION NETS…
- Cited by 9 (0 self) – Add To MetaCart
-
The Algebraic Theory of Interaction Nets
- …1 The Algebraic Theory of Interaction Nets R. Banach Technical Report UMCS-95-7-2 Computer…
- Cited by 7 (3 self) – Add To MetaCart
-
Parallel Evaluation of Interaction Nets with MPINE
- …Parallel Evaluation of Interaction Nets with MPINE Jorge Sousa Pinto ? Departamento de…
- Cited by 2 (0 self) – Add To MetaCart
-
Interaction Nets and Term Rewriting Systems
- …Interaction Nets and Term Rewriting Systems Maribel Fern'andez DMI - LIENS (CNRS URA 1327) ' Ecole…
- Cited by 9 (6 self) – Add To MetaCart
-
Interaction Nets as a Programming Language
- …Interaction nets as a programming language Sylvain Lippi Institut de Mathematiques de Luminy, UPR…
- Add To MetaCart
-
Type Assignment and Termination of Interaction Nets
- …Type Assignment and Termination of Interaction Nets Maribel Fern'andez LIENS (CNRS URA 1327…
- Cited by 5 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
